SVF::SaberCheckerAPI Member List

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

CHECKER_TYPE enum name	SVF::SaberCheckerAPI
CK_ALLOC enum value	SVF::SaberCheckerAPI
CK_DUMMY enum value	SVF::SaberCheckerAPI
CK_FCLOSE enum value	SVF::SaberCheckerAPI
CK_FOPEN enum value	SVF::SaberCheckerAPI
CK_FREE enum value	SVF::SaberCheckerAPI
ckAPI	SVF::SaberCheckerAPI	privatestatic
getCheckerAPI()	SVF::SaberCheckerAPI	inlinestatic
getType(const FunObjVar *F) const	SVF::SaberCheckerAPI	inlineprivate
init()	SVF::SaberCheckerAPI	private
isFClose(const FunObjVar *fun) const	SVF::SaberCheckerAPI	inline
isFClose(const CallICFGNode *cs) const	SVF::SaberCheckerAPI	inline
isFOpen(const FunObjVar *fun) const	SVF::SaberCheckerAPI	inline
isFOpen(const CallICFGNode *cs) const	SVF::SaberCheckerAPI	inline
isMemAlloc(const FunObjVar *fun) const	SVF::SaberCheckerAPI	inline
isMemAlloc(const CallICFGNode *cs) const	SVF::SaberCheckerAPI	inline
isMemDealloc(const FunObjVar *fun) const	SVF::SaberCheckerAPI	inline
isMemDealloc(const CallICFGNode *cs) const	SVF::SaberCheckerAPI	inline
SaberCheckerAPI()	SVF::SaberCheckerAPI	inlineprivate
tdAPIMap	SVF::SaberCheckerAPI	private
TDAPIMap typedef	SVF::SaberCheckerAPI