AllocationState.h File Reference

#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.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
ProgramStateRef	clang::ento::allocation_state::markReleased (ProgramStateRef State, SymbolRef Sym, const Expr *Origin)
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.
const MemRegion *	clang::ento::allocation_state::getContainerObjRegion (ProgramStateRef State, SymbolRef Sym)
	'Sym' represents a pointer to the inner buffer of a container object.