Go to the source code of this file.
|
static void | LazyInitialize (const CheckerBase *Checker, std::unique_ptr< BugType > &BT, const char *name) |
|
static bool | IsZeroByteAllocation (ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) |
|
◆ REGISTER_CHECKER
#define REGISTER_CHECKER |
( |
|
CHECKERNAME | ) |
|
Value: void ento::register##CHECKERNAME(CheckerManager &mgr) { \
mgr.registerChecker<CHECKERNAME>(); \
} \
\
bool ento::shouldRegister##CHECKERNAME(const CheckerManager &mgr) { \
return true; \
}
Definition at line 499 of file UnixAPIChecker.cpp.
◆ OpenVariant
Enumerator |
---|
Open | The standard open() call: int open(const char *path, int oflag, ...);.
|
OpenAt | The variant taking a directory file descriptor and a relative path: int openat(int fd, const char *path, int oflag, ...);.
|
Definition at line 29 of file UnixAPIChecker.cpp.
◆ IsZeroByteAllocation()
static bool IsZeroByteAllocation |
( |
ProgramStateRef |
state, |
|
|
const SVal |
argVal, |
|
|
ProgramStateRef * |
trueState, |
|
|
ProgramStateRef * |
falseState |
|
) |
| |
|
static |
◆ LazyInitialize()
static void LazyInitialize |
( |
const CheckerBase * |
Checker, |
|
|
std::unique_ptr< BugType > & |
BT, |
|
|
const char * |
name |
|
) |
| |
|
static |