clang 20.0.0git
Macros | Functions
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 ParmVarDeclgetOriginParam (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

◆ isInMIGCall()

static bool isInMIGCall ( CheckerContext C)
static

◆ mayBeSuccess()

static bool mayBeSuccess ( SVal  V,
CheckerContext C 
)
static