|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::AbsExtAPI, including all inherited members.
| AbsExtAPI(Map< const ICFGNode *, AbstractState > &traces) | SVF::AbsExtAPI | |
| abstractTrace | SVF::AbsExtAPI | protected |
| ExtAPIType enum name | SVF::AbsExtAPI | |
| func_map | SVF::AbsExtAPI | protected |
| getAbsStateFromTrace(const ICFGNode *node) | SVF::AbsExtAPI | |
| getRangeLimitFromType(const SVFType *type) | SVF::AbsExtAPI | |
| getStrlen(AbstractState &as, const SVF::SVFVar *strValue) | SVF::AbsExtAPI | |
| getSVFVar(const SVFValue *val) | SVF::AbsExtAPI | |
| handleExtAPI(const CallICFGNode *call) | SVF::AbsExtAPI | |
| handleMemcpy(AbstractState &as, const SVF::SVFVar *dst, const SVF::SVFVar *src, IntervalValue len, u32_t start_idx) | SVF::AbsExtAPI | |
| handleMemset(AbstractState &as, const SVFVar *dst, IntervalValue elem, IntervalValue len) | SVF::AbsExtAPI | |
| handleStrcat(const SVF::CallICFGNode *call) | SVF::AbsExtAPI | |
| handleStrcpy(const CallICFGNode *call) | SVF::AbsExtAPI | |
| icfg | SVF::AbsExtAPI | protected |
| initExtFunMap() | SVF::AbsExtAPI | |
| MEMCPY enum value | SVF::AbsExtAPI | |
| MEMSET enum value | SVF::AbsExtAPI | |
| STRCAT enum value | SVF::AbsExtAPI | |
| STRCPY enum value | SVF::AbsExtAPI | |
| strRead(AbstractState &as, const SVFVar *rhs) | SVF::AbsExtAPI | |
| svfir | SVF::AbsExtAPI | protected |
| UNCLASSIFIED enum value | SVF::AbsExtAPI |
1.9.1