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