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.