clang  7.0.0
Classes | Namespaces | Typedefs | Functions
InnerPointerChecker.cpp File Reference
#include "AllocationState.h"
#include "ClangSACheckers.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/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
Include dependency graph for InnerPointerChecker.cpp:

Go to the source code of this file.

Classes

struct  clang::ento::ProgramStateTrait< PtrSet >
 

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 clang::ento
 
 clang::ento::allocation_state
 

Typedefs

using PtrSet = llvm::ImmutableSet< SymbolRef >
 

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. More...
 

Typedef Documentation

◆ PtrSet

using PtrSet = llvm::ImmutableSet<SymbolRef>

Definition at line 27 of file InnerPointerChecker.cpp.