CodeQL library for C#


                        codeql/csharp-all


                        0.7.5

( changelog , source )

Module Internal :: PreCfg

Import path


                                import semmle.code.csharp.controlflow.Guards

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