ΒΆconst clang::ento::MemRegion*
getContainerObjRegion(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym)
const clang::ento::MemRegion*
getContainerObjRegion(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym)
Description
'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.
Declared at: clang/lib/StaticAnalyzer/Checkers/AllocationState.h:31