ClearBlue
Public Member Functions | Static Public Attributes
SymbolicExprGraphBuilder Class Reference
Inheritance diagram for SymbolicExprGraphBuilder:
Inheritance graph
[legend]
Collaboration diagram for SymbolicExprGraphBuilder:
Collaboration graph
[legend]

Public Member Functions

void getAnalysisUsage (AnalysisUsage &) const
 
bool runOnModule (Module &)
 
SymbolicExprGraphgetSymbolicExprGraph (Function *F) override
 
SymbolicExprGraphgetSymbolicExprGraph (WrappedFunction *F) override
 
SEGOperandNodegetNode (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)
 

Member Function Documentation

◆ getSymbolicExprGraph()

SymbolicExprGraph * SymbolicExprGraphBuilder::getSymbolicExprGraph ( Function *  F)
overridevirtual

This function queries the SEG for a function F. It is supposed to be thread-safe.

Implements SEGMapBase.


The documentation for this class was generated from the following files: