30 #ifndef SABERCHECKERAPI_H_
31 #define SABERCHECKERAPI_H_
80 TDAPIMap::const_iterator it=
tdAPIMap.find(
F->getName());
const SVFFunction * getCalledFunction() const
bool isFOpen(const SVFFunction *fun) const
Return true if this call is a file open.
@ CK_FREE
memory allocation
@ CK_FOPEN
memory deallocation
static SaberCheckerAPI * ckAPI
Static reference.
bool isFClose(const CallICFGNode *cs) const
void init()
Initialize the map.
bool isFOpen(const CallICFGNode *cs) const
TDAPIMap tdAPIMap
API map, from a string to threadAPI type.
bool isMemDealloc(const CallICFGNode *cs) const
bool isMemAlloc(const SVFFunction *fun) const
Return true if this call is a memory allocation.
Map< std::string, CHECKER_TYPE > TDAPIMap
bool isFClose(const SVFFunction *fun) const
Return true if this call is a file close.
CHECKER_TYPE getType(const SVFFunction *F) const
Get the function type of a function.
bool isMemDealloc(const SVFFunction *fun) const
Return true if this call is a memory deallocation.
bool isMemAlloc(const CallICFGNode *cs) const
static SaberCheckerAPI * getCheckerAPI()
Return a static reference.
SaberCheckerAPI()
Constructor.
std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map