Module ControlFlowReachability
Import path
import semmle.code.csharp.dataflow.internal.ControlFlowReachabilityImports
| csharp | The default C# QL library. |
Classes
| ControlFlowReachabilityConfiguration | A helper class for determining control-flow reachability for pairs of elements. |