Inheritance diagram for SymbolicExprGraphBuilder:
Collaboration diagram for SymbolicExprGraphBuilder:
Public Member Functions | |
| void | getAnalysisUsage (AnalysisUsage &) const |
| bool | runOnModule (Module &) |
| SymbolicExprGraph * | getOrCreateSymbolicExprGraph (Function *F) |
| SEGOperandNode * | getNode (Value *val) |
| Return the SEG node of a value. | |
 Public Member Functions inherited from SEGMapBase | |
| SymbolicExprGraph * | getSymbolicExprGraph (const Function *F) const |
| bool | hasSEG (const Function *F) const |
| bool | isFuncBuildable (const Function *F) const |
| Check the function is suitable for SEGBuilder. | |
| value_iterator< std::unordered_map< const Function *, SymbolicExprGraph * >::iterator > | begin () |
| @iterating_object_class SymbolicExprGraph * | |
| value_iterator< std::unordered_map< const Function *, SymbolicExprGraph * >::iterator > | end () |
| @iterating_object_class SymbolicExprGraph * | |
Static Public Attributes | |
| static char | ID = 0 |
Additional Inherited Members | |
| Protected Attributes inherited from SEGMapBase | |
| std::unordered_map< const Function *, SymbolicExprGraph * > | SEGMap |
| SEG vector of functions. | |
| ExternalMemorySpec * | MEM_SPEC = nullptr |
Member Function Documentation
◆ getOrCreateSymbolicExprGraph()
| SymbolicExprGraph * SymbolicExprGraphBuilder::getOrCreateSymbolicExprGraph | ( | Function * | F | ) |
This function queries the SEG for a function F. It is supposed to be thread-safe.
Here is the call graph for this function:
The documentation for this class was generated from the following files:
- /builds/prismers/clearblue/include/IR/SEG/SymbolicExprGraphBuilder.h
- /builds/prismers/clearblue/lib/IR/SEG/SymbolicExprGraphBuilder.cpp
