clang 20.0.0git
Namespaces | Functions
InnerPointerChecker.cpp File Reference
#include "AllocationState.h"
#include "InterCheckerAPI.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/BugReporter/CommonBugCategories.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::ento
 
namespace  clang::ento::allocation_state
 

Functions

std::unique_ptr< BugReporterVisitorclang::ento::allocation_state::getInnerPointerBRVisitor (SymbolRef Sym)
 This function provides an additional visitor that augments the bug report with information relevant to memory errors caused by the misuse of AF_InnerBuffer symbols.
 
const MemRegionclang::ento::allocation_state::getContainerObjRegion (ProgramStateRef State, SymbolRef Sym)
 'Sym' represents a pointer to the inner buffer of a container object.