QL library for C#
Version 1.22.0
Index
Search
isBranch
Class
ControlFlowNode
Predicates
getAPredecessor
getASuccessor
getASuccessorType
getAnOperand
getFalseSuccessor
getImplementation
getOperand
getParentExpr
getPopCount
getPushCount
getStackSizeAfter
getStackSizeBefore
getTrueSuccessor
getType
isBranch
isJoin
toString
Member predicate
ControlFlow
::
ControlFlowNode
::
isBranch
Holds if this control flow node has more than one successor.
predicate
isBranch
()