ΒΆ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

Parameters

clang::ento::ProgramStateRef State
clang::ento::SymbolRef Sym