
Public Member Functions | |
| 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 () |
| SymbolicExprGraph * | |
|
value_iterator < std::unordered_map< const Function *, SymbolicExprGraph * > ::iterator > | end () |
| SymbolicExprGraph * | |
Protected Attributes | |
|
std::unordered_map< const Function *, SymbolicExprGraph * > | SEGMap |
| SEG vector of functions. | |
| ExternalMemorySpec * | MEM_SPEC = nullptr |
| CBCallGraphWrapper * | CGWrapper = nullptr |
1.8.5