CodeQL library for C#
codeql/csharp-all 0.8.10-dev (changelog, source)
Search

Module Internal::PreCfg

Import path

import semmle.code.csharp.controlflow.Guards

Imports

Predicates

preControls

Holds if pre-basic-block bb only is reached when guard g has abstract value v.