Go to the source code of this file.
◆ CASE
◆ getAcquireSite()
static const ExplodedNode* getAcquireSite |
( |
const ExplodedNode * |
N, |
|
|
SymbolRef |
Sym, |
|
|
CheckerContext & |
Ctx |
|
) |
| |
|
static |
◆ getFuchsiaHandleSymbol()
static SymbolRef getFuchsiaHandleSymbol |
( |
QualType |
QT, |
|
|
SVal |
Arg, |
|
|
ProgramStateRef |
State |
|
) |
| |
|
static |
Returns the symbols extracted from the argument or null if it cannot be found.
Definition at line 226 of file FuchsiaHandleChecker.cpp.
References clang::ento::PathDiagnosticLocation::createBegin(), clang::ento::PathDiagnosticLocation::dump(), getAcquireSite(), clang::Type::getAs(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::Type::getPointeeType(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), clang::Type::isAnyPointerType(), clang::Type::isIntegerType(), clang::Type::isReferenceType(), clang::ento::PSK_DirectEscapeOnCall, clang::ento::PSK_EscapeOutParameters, clang::ento::PSK_IndirectEscapeOnCall, State, and Text.