SVF::AbsExtAPI Member List

This is the complete list of members for SVF::AbsExtAPI, including all inherited members.

AbsExtAPI(AbstractStateManager *mgr)	SVF::AbsExtAPI
checkPointAllSet()	SVF::AbsExtAPI
checkpoints	SVF::AbsExtAPI
collectCheckPoint()	SVF::AbsExtAPI
ExtAPIType enum name	SVF::AbsExtAPI
func_map	SVF::AbsExtAPI	protected
getAbstractState(const ICFGNode *node)	SVF::AbsExtAPI
getElementSize(const ValVar *var)	SVF::AbsExtAPI
getRangeLimitFromType(const SVFType *type)	SVF::AbsExtAPI
getStrlen(const ValVar *strValue, const ICFGNode *node)	SVF::AbsExtAPI
handleExtAPI(const CallICFGNode *call)	SVF::AbsExtAPI
handleMemcpy(const ValVar *dst, const ValVar *src, const IntervalValue &len, u32_t start_idx, const ICFGNode *node)	SVF::AbsExtAPI
handleMemset(const ValVar *dst, const IntervalValue &elem, const IntervalValue &len, const ICFGNode *node)	SVF::AbsExtAPI
handleStrcat(const CallICFGNode *call)	SVF::AbsExtAPI
handleStrcpy(const CallICFGNode *call)	SVF::AbsExtAPI
handleStrncat(const CallICFGNode *call)	SVF::AbsExtAPI
icfg	SVF::AbsExtAPI	protected
initExtFunMap()	SVF::AbsExtAPI
isValidLength(const IntervalValue &len)	SVF::AbsExtAPI	static
MEMCPY enum value	SVF::AbsExtAPI
MEMSET enum value	SVF::AbsExtAPI
mgr	SVF::AbsExtAPI	protected
STRCAT enum value	SVF::AbsExtAPI
STRCPY enum value	SVF::AbsExtAPI
strRead(const ValVar *rhs, const ICFGNode *node)	SVF::AbsExtAPI
svfir	SVF::AbsExtAPI	protected
UNCLASSIFIED enum value	SVF::AbsExtAPI