Version 1.23.0
For an overview of this library, along with tutorials and examples, see CodeQL for C#
.
Holds if data flows from source to sink in zero or more local (intra-procedural) steps.
source
sink
import csharp
predicate localFlow(Node source, Node sink)