class PointerEscape
Declaration
class PointerEscape { /* full declaration omitted */ };
Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:356
Method Overview
- private template <typename CHECKER>static clang::ento::ProgramStateRef _checkPointerEscape(void * Checker, clang::ento::ProgramStateRef State, const clang::ento::InvalidatedSymbols & Escaped, const clang::ento::CallEvent * Call, clang::ento::PointerEscapeKind Kind, clang::ento::RegionAndSymbolInvalidationTraits * ETraits)
- public template <typename CHECKER>static void _register(CHECKER * checker, clang::ento::CheckerManager & mgr)
Methods
¶template <typename CHECKER>
static clang::ento::ProgramStateRef
_checkPointerEscape(
void* Checker,
clang::ento::ProgramStateRef State,
const clang::ento::InvalidatedSymbols&
Escaped,
const clang::ento::CallEvent* Call,
clang::ento::PointerEscapeKind Kind,
clang::ento::
RegionAndSymbolInvalidationTraits*
ETraits)
template <typename CHECKER>
static clang::ento::ProgramStateRef
_checkPointerEscape(
void* Checker,
clang::ento::ProgramStateRef State,
const clang::ento::InvalidatedSymbols&
Escaped,
const clang::ento::CallEvent* Call,
clang::ento::PointerEscapeKind Kind,
clang::ento::
RegionAndSymbolInvalidationTraits*
ETraits)
Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:359
Templates
- CHECKER
Parameters
- void* Checker
- clang::ento::ProgramStateRef State
- const clang::ento::InvalidatedSymbols& Escaped
- const clang::ento::CallEvent* Call
- clang::ento::PointerEscapeKind Kind
- clang::ento::RegionAndSymbolInvalidationTraits* ETraits
¶template <typename CHECKER>
static void _register(
CHECKER* checker,
clang::ento::CheckerManager& mgr)
template <typename CHECKER>
static void _register(
CHECKER* checker,
clang::ento::CheckerManager& mgr)
Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:392
Templates
- CHECKER
Parameters
- CHECKER* checker
- clang::ento::CheckerManager& mgr