ClearBlue
|
Public Member Functions | |
void | getAnalysisUsage (AnalysisUsage &) const |
bool | runOnModule (Module &) |
SymbolicExprGraph * | getSymbolicExprGraph (Function *F) override |
SymbolicExprGraph * | getSymbolicExprGraph (WrappedFunction *F) override |
SEGOperandNode * | getNode (Value *val) |
Return the SEG node of a value. | |
Static Public Attributes | |
static char | ID = 0 |
Additional Inherited Members | |
Protected Member Functions inherited from SEGMapBase | |
void | buildLibraryCallGraph (Module &M, CBCallGraph &CBCG) |
|
overridevirtual |
This function queries the SEG for a function F
. It is supposed to be thread-safe.
Implements SEGMapBase.