CodeQL library for C#
Search

Class FaultHandler

A handler for memory faults.

Import path

import semmle.code.cil.Handler

Direct supertypes

Indirect supertypes

Predicates

Inherited predicates

fromLibrary

Holds if this element is from an assembly.

from Element
fromSource

Holds if this element is from source code.

from Element
getALocation

Gets a location of this element, which can include locations in both DLLs and source files.

from Element
getAPredecessor

Gets a predecessor of this node, if any.

from ControlFlowNode
getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

from Element
getASuccessor

Gets a successor of this node, if any.

from ControlFlowNode
getASuccessorType

Gets a successor to this node, of type type, if any.

from Handler
getAnOperand

Gets an operand of this instruction, if any.

from ControlFlowNode
getCaughtType

Gets the type of the caught exception, if any.

from Handler
getFalseSuccessor

Gets a false successor of this node, if any.

from ControlFlowNode
getFile

Gets the file containing this element.

from Element
getHandlerStart

Gets the first instruction in the catch/finally block.

from Handler
getImplementation

Gets the method containing this control flow node.

from Handler
getIndex

Gets the 0-based index of this handler. Handlers are evaluated in this sequence.

from Handler
getLanguage

Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.

from Element
getLocationfrom Handler
getOperand

Gets an instruction that supplies the ith operand to this instruction. Note that this can be multi-valued.

from ControlFlowNode
getParentExpr

Gets an expression that consumes the output of this instruction on the stack.

from ControlFlowNode
getPopCount

Gets the number of items this node pops from the stack.

from ControlFlowNode
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Element
getPushCount

Gets the number of items this node pushes onto the stack. This value is either 0 or 1, except for the instruction dup which pushes 2 values onto the stack.

from ControlFlowNode
getStackSizeAfter

Gets the stack size after this instruction.

from ControlFlowNode
getStackSizeBefore

Gets the stack size before this instruction.

from EntryPoint
getTrueSuccessor

Gets a true successor of this node, if any.

from ControlFlowNode
getTryEnd

Gets the last instruction in the try block of this handler.

from Handler
getTryStart

Gets the first instruction in the try block of this handler.

from Handler
getType

Gets the type of the item pushed onto the stack, if any.

from ControlFlowNode
isBranch

Holds if this control flow node has more than one successor.

from ControlFlowNode
isInScope

Holds if the instruction i is in the scope of this handler.

from Handler
isJoin

Holds if this control flow node has more than one predecessor.

from ControlFlowNode
toStringWithTypes

Gets the full textual representation of this element, including type information.

from Element