#include <SaberCheckerAPI.h>
Definition at line 44 of file SaberCheckerAPI.h.
◆ TDAPIMap
◆ CHECKER_TYPE
Enumerator |
---|
CK_DUMMY | |
CK_ALLOC | dummy type
|
CK_FREE | memory allocation
|
CK_FOPEN | memory deallocation
|
CK_FCLOSE | File open.
File close
|
Definition at line 48 of file SaberCheckerAPI.h.
@ CK_FREE
memory allocation
@ CK_FOPEN
memory deallocation
◆ SaberCheckerAPI()
SVF::SaberCheckerAPI::SaberCheckerAPI |
( |
| ) |
|
|
inlineprivate |
◆ getCheckerAPI()
Return a static reference.
Definition at line 89 of file SaberCheckerAPI.h.
static SaberCheckerAPI * ckAPI
Static reference.
SaberCheckerAPI()
Constructor.
◆ getType()
Get the function type of a function.
Definition at line 76 of file SaberCheckerAPI.h.
80 TDAPIMap::const_iterator it=
tdAPIMap.find(
F->getName());
TDAPIMap tdAPIMap
API map, from a string to threadAPI type.
◆ init()
void SaberCheckerAPI::init |
( |
| ) |
|
|
private |
Initialize the map.
initialize the map
Definition at line 144 of file SaberCheckerAPI.cpp.
146 set<CHECKER_TYPE> t_seen;
155 if(t_seen.count(
p->t))
159 assert(!
"ei_pairs not grouped by type");
168 assert(!
"duplicate name in ei_pairs");
static const ei_pair ei_pairs[]
◆ isFClose() [1/2]
bool SVF::SaberCheckerAPI::isFClose |
( |
const CallICFGNode * |
cs | ) |
const |
|
inline |
Definition at line 140 of file SaberCheckerAPI.h.
142 return isFClose(cs->getCalledFunction());
bool isFClose(const SVFFunction *fun) const
Return true if this call is a file close.
◆ isFClose() [2/2]
bool SVF::SaberCheckerAPI::isFClose |
( |
const SVFFunction * |
fun | ) |
const |
|
inline |
Return true if this call is a file close.
Definition at line 136 of file SaberCheckerAPI.h.
CHECKER_TYPE getType(const SVFFunction *F) const
Get the function type of a function.
◆ isFOpen() [1/2]
bool SVF::SaberCheckerAPI::isFOpen |
( |
const CallICFGNode * |
cs | ) |
const |
|
inline |
Definition at line 128 of file SaberCheckerAPI.h.
130 return isFOpen(cs->getCalledFunction());
bool isFOpen(const SVFFunction *fun) const
Return true if this call is a file open.
◆ isFOpen() [2/2]
bool SVF::SaberCheckerAPI::isFOpen |
( |
const SVFFunction * |
fun | ) |
const |
|
inline |
◆ isMemAlloc() [1/2]
bool SVF::SaberCheckerAPI::isMemAlloc |
( |
const CallICFGNode * |
cs | ) |
const |
|
inline |
Definition at line 104 of file SaberCheckerAPI.h.
bool isMemAlloc(const SVFFunction *fun) const
Return true if this call is a memory allocation.
◆ isMemAlloc() [2/2]
bool SVF::SaberCheckerAPI::isMemAlloc |
( |
const SVFFunction * |
fun | ) |
const |
|
inline |
◆ isMemDealloc() [1/2]
bool SVF::SaberCheckerAPI::isMemDealloc |
( |
const CallICFGNode * |
cs | ) |
const |
|
inline |
Definition at line 116 of file SaberCheckerAPI.h.
bool isMemDealloc(const SVFFunction *fun) const
Return true if this call is a memory deallocation.
◆ isMemDealloc() [2/2]
bool SVF::SaberCheckerAPI::isMemDealloc |
( |
const SVFFunction * |
fun | ) |
const |
|
inline |
Return true if this call is a memory deallocation.
Definition at line 112 of file SaberCheckerAPI.h.
◆ ckAPI
◆ tdAPIMap
The documentation for this class was generated from the following files: