9 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H 10 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H 18 namespace allocation_state {
MemRegion - The root abstract class for all memory regions.
const MemRegion * getContainerObjRegion(ProgramStateRef State, SymbolRef Sym)
'Sym' represents a pointer to the inner buffer of a container object.
std::unique_ptr< BugReporterVisitor > getInnerPointerBRVisitor(SymbolRef Sym)
This function provides an additional visitor that augments the bug report with information relevant t...
This represents one expression.
Dataflow Directional Tag Classes.
ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin)