clang: lib/StaticAnalyzer/Checkers/MIGChecker.cpp File Reference (original) (raw)

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)

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} | | |

getOriginParam()

isInMIGCall()

mayBeSuccess()