CodeQL library for C#
codeql/csharp-all 0.6.2 ( changelog , source )
Search

Member predicate ControlFlowElement :: reachableFrom

Holds if the current element is reachable from src.

predicate reachableFrom ( ControlFlowElement src )