MIGChecker.cpp File Reference

#include "clang/AST/Attr.h"
#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/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include <optional>

Go to the source code of this file.

Macros
#define	CALL(required_args, deallocated_arg, ...)    {{CDM::SimpleFunc, {__VA_ARGS__}, required_args}, deallocated_arg}
#define	CALL(required_args, deallocated_arg, ...)    {{CDM::CXXMethod, {__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)

Macro Definition Documentation

CALL [1/2]

#define CALL	(		required_args,
			deallocated_arg,
			...
	)		{{CDM::SimpleFunc, {__VA_ARGS__}, required_args}, deallocated_arg}

CALL [2/2]

#define CALL	(		required_args,
			deallocated_arg,
			...
	)		{{CDM::CXXMethod, {__VA_ARGS__}, required_args}, deallocated_arg}

Function Documentation

getOriginParam()

static const ParmVarDecl * getOriginParam ( SVal  V, CheckerContext &  C, bool  IncludeBaseRegions = false  )

static

Definition at line 123 of file MIGChecker.cpp.

References clang::ento::SymExpr::getOriginRegion(), clang::ento::SymbolicRegion::getSymbol(), clang::ento::MemRegion::getSymbolicBase(), and V.

isInMIGCall()

static bool isInMIGCall ( CheckerContext &  C )

static

Definition at line 151 of file MIGChecker.cpp.

References clang::C, D, clang::AnyCall::forDecl(), clang::LocationContext::getDecl(), clang::LocationContext::getParent(), clang::LocationContext::getStackFrame(), and clang::Decl::hasAttr().

mayBeSuccess()

static bool mayBeSuccess ( SVal  V, CheckerContext &  C  )

static

Definition at line 229 of file MIGChecker.cpp.

References clang::C, clang::ento::SValBuilder::evalEQ(), clang::ASTContext::IntTy, clang::ento::SValBuilder::makeIntVal(), and V.