CodeQL library for C#
codeql/csharp-all 0.7.5 ( 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.