clang
7.0.0
|
#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"
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< BugReporterVisitor > | clang::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... | |
Definition at line 27 of file InnerPointerChecker.cpp.