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 |