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 LangOptions &LO) { \
return true; \
}
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
Definition at line 501 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 28 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 |
Definition at line 91 of file UnixAPIChecker.cpp.
References clang::XRayInstrKind::Function, clang::CallExpr::getArg(), clang::DeclContext::getEnclosingNamespaceContext(), clang::Decl::getKind(), clang::CallExpr::getNumArgs(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isIntegerType(), Open, OpenAt, clang::ento::OS, clang::CodeGen::state, State, clang::ento::categories::UnixAPI, and V.
Referenced by IsZeroByteAllocation().