codeql/csharp-all
3.1.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import codeql.dataflow.internal.DataFlowImpl
predicate stageStats1(int n, string stage, int nodes, int fields, int conscand, int states, int tuples, int calledges, int tfnodes, int tftuples)