Module Guards
Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
Import path
import semmle.code.cpp.controlflow.GuardsImports
| BasicBlocks | Provides a library for reasoning about control flow at the granularity of basic blocks. This is usually much more efficient than reasoning directly at the level of |
| Dominance | Provides dominance predicates for control-flow nodes. |
| IRGuards | Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards. |
| SSA | Provides classes and predicates for SSA representation (Static Single Assignment form). |
| cpp | Provides classes and predicates for working with C/C++ code. |
Classes
| GuardedSsa | An |