Provides a class for handling variables in the data flow analysis.
Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.
A conceptual variable that is assigned only once, like an SSA variable. This class is used for tracking data flow through variables, where the desired semantics is sometimes different from what the SSA library provides. Unlike SSA, there are no phi nodes; instead, each
Provides classes and predicates that ought to be private but cannot use the