codeql/csharp-all
5.1.5-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import semmle.code.csharp.dataflow.Nullness
predicate edges(PathNode pred, PathNode succ)