|
ClearBlue
|

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