Static Value-Flow Analysis
SVF::SaberCheckerAPI Member List

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

CHECKER_TYPE enum nameSVF::SaberCheckerAPI
CK_ALLOC enum valueSVF::SaberCheckerAPI
CK_DUMMY enum valueSVF::SaberCheckerAPI
CK_FCLOSE enum valueSVF::SaberCheckerAPI
CK_FOPEN enum valueSVF::SaberCheckerAPI
CK_FREE enum valueSVF::SaberCheckerAPI
ckAPISVF::SaberCheckerAPIprivatestatic
getCheckerAPI()SVF::SaberCheckerAPIinlinestatic
getType(const SVFFunction *F) constSVF::SaberCheckerAPIinlineprivate
init()SVF::SaberCheckerAPIprivate
isFClose(const SVFFunction *fun) constSVF::SaberCheckerAPIinline
isFClose(const CallICFGNode *cs) constSVF::SaberCheckerAPIinline
isFOpen(const SVFFunction *fun) constSVF::SaberCheckerAPIinline
isFOpen(const CallICFGNode *cs) constSVF::SaberCheckerAPIinline
isMemAlloc(const SVFFunction *fun) constSVF::SaberCheckerAPIinline
isMemAlloc(const CallICFGNode *cs) constSVF::SaberCheckerAPIinline
isMemDealloc(const SVFFunction *fun) constSVF::SaberCheckerAPIinline
isMemDealloc(const CallICFGNode *cs) constSVF::SaberCheckerAPIinline
SaberCheckerAPI()SVF::SaberCheckerAPIinlineprivate
tdAPIMapSVF::SaberCheckerAPIprivate
TDAPIMap typedefSVF::SaberCheckerAPI
Generated by doxygen 1.9.1