clang: clang::ento::allocation_state Namespace Reference (original) (raw)

Functions
ProgramStateRef markReleased (ProgramStateRef State, SymbolRef Sym, const Expr *Origin)
std::unique_ptr< BugReporterVisitor > 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 * getContainerObjRegion (ProgramStateRef State, SymbolRef Sym)
'Sym' represents a pointer to the inner buffer of a container object.

getContainerObjRegion()

'Sym' represents a pointer to the inner buffer of a container object.

This function looks up the memory region of that object in DanglingInternalBufferChecker's program state map.

Definition at line 284 of file InnerPointerChecker.cpp.

getInnerPointerBRVisitor()

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.

Definition at line 280 of file InnerPointerChecker.cpp.

markReleased()