Class EntryPoint
A control flow entry point. Either a method (MethodImplementation
) or a handler (Handler
).
Handlers are control flow nodes because they push the handled exception onto the stack.
Import path
import semmle.code.cil.ControlFlow
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getStackSizeBefore |
Gets the stack size before this instruction. |
Inherited predicates
getAPredecessor |
Gets a predecessor of this node, if any. |
from ControlFlowNode |
getASuccessor |
Gets a successor of this node, if any. |
from ControlFlowNode |
getASuccessorType |
Gets a successor to this node, of type |
from ControlFlowNode |
getAnOperand |
Gets an operand of this instruction, if any. |
from ControlFlowNode |
getFalseSuccessor |
Gets a false successor of this node, if any. |
from ControlFlowNode |
getImplementation |
Gets the method containing this control flow node. |
from ControlFlowNode |
getLocation |
Gets the location of this control flow node. |
from ControlFlowNode |
getOperand |
Gets an instruction that supplies the |
from ControlFlowNode |
getOperandType |
Gets the type of the |
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 |
getPushCount |
Gets the number of items this node pushes onto the stack. This value is either 0 or 1, except for the instruction |
from ControlFlowNode |
getStackSizeAfter |
Gets the stack size after this instruction. |
from ControlFlowNode |
getTrueSuccessor |
Gets a true successor of this node, if any. |
from ControlFlowNode |
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 |
isJoin |
Holds if this control flow node has more than one predecessor. |
from ControlFlowNode |
toString |
Gets a textual representation of this control flow node. |
from ControlFlowNode |