clang
9.0.0
|
#include "clang/Analysis/AnyCall.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
Go to the source code of this file.
Macros | |
#define | CALL(required_args, deallocated_arg, ...) {{{__VA_ARGS__}, required_args}, deallocated_arg} |
Functions | |
static const ParmVarDecl * | getOriginParam (SVal V, CheckerContext &C, bool IncludeBaseRegions=false) |
static bool | isInMIGCall (CheckerContext &C) |
static bool | mayBeSuccess (SVal V, CheckerContext &C) |
#define CALL | ( | required_args, | |
deallocated_arg, | |||
... | |||
) | {{{__VA_ARGS__}, required_args}, deallocated_arg} |
|
static |
Definition at line 117 of file MIGChecker.cpp.
Referenced by isInMIGCall().
|
static |
Definition at line 145 of file MIGChecker.cpp.
References clang::LocationContext::getDecl(), clang::NamedDecl::getName(), getOriginParam(), clang::LocationContext::getParent(), clang::LocationContext::getStackFrame(), clang::Decl::hasAttr(), clang::ento::OS, and State.
Referenced by mayBeSuccess().
|
static |
Definition at line 225 of file MIGChecker.cpp.
References clang::ReturnStmt::getRetValue(), clang::Stmt::getSourceRange(), clang::ASTContext::IntTy, isInMIGCall(), State, and V.