Provides classes and predicates for use in the SSA library.
Provides dominance predicates for control-flow nodes.
This library is a clone of semmle.code.cpp.controlflow.SSA, with only one difference: extra phi definitions are added after guards. For example:
Provides classes and predicates for SSA representation (Static Single Assignment form).
Provides classes and predicates for working with C/C++ code.
Extended version of
Common SSA logic for standard SSA and range-analysis SSA.