Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
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
Provides dominance predicates for control-flow nodes.
Provides classes and predicates for SSA representation (Static Single Assignment form).
Provides classes and predicates for working with C/C++ code.