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