CodeQL library for C#

Version 1.23.0

For an overview of this library, along with tutorials and examples, see CodeQL for C#

.

reachableFrom

Class ControlFlowElement

Predicates

controlsElement

getAControlFlowEntryNode

getAControlFlowExitNode

getAControlFlowNode

getAReachableElement

getEnclosingCallable

Inherited predicates

getNumberOfChildren

toStringWithTypes

Member predicate ControlFlowElement::reachableFrom

Holds if the current element is reachable from src.

predicate reachableFrom(ControlFlowElement src)

Copyright 2019 Semmle Ltd.Privacy policy