CodeQL library for C#
Search

Predicate stageStats

INTERNAL: Only for debugging.

Calculates per-stage metrics for data flow.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowImpl3
predicate stageStats(int n, string stage, int nodes, int fields, int conscand, int states, int tuples, Configuration config)