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, ...)
#define	CALL(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,
			... )

Value:

  {{CDM::SimpleFunc, {__VA_ARGS__}, required_args}, deallocated_arg}

CALL [2/2]

#define CALL	(		required_args,
			deallocated_arg,
			... )

Value:

  {{CDM::CXXMethod, {__VA_ARGS__}, required_args}, deallocated_arg}

Function Documentation

getOriginParam()

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

static

Definition at line 123 of file MIGChecker.cpp.

References clang::C, false, getOriginParam(), clang::ento::SymExpr::getOriginRegion(), and V.

Referenced by getOriginParam().

isInMIGCall()

bool isInMIGCall ( CheckerContext & C )

static

Definition at line 151 of file MIGChecker.cpp.

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

mayBeSuccess()

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.