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

Member predicate DataFlowNode :: getALocalFlowSucc

Holds if this node flows to sink in one step. tt is the tainting that occurs during this step.

predicate getALocalFlowSucc ( DataFlowNode sink , TaintType tt )