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

Predicate PathGraph::edges

Import path

import semmle.code.csharp.dataflow.Nullness
predicate edges(PathNode pred, PathNode succ)