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)

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)

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:392

Templates

CHECKER

Parameters

CHECKER* checker
clang::ento::CheckerManager& mgr