ΒΆclang::ento::SVal getDynamicExtentWithOffset(
clang::ento::ProgramStateRef State,
clang::ento::SVal BufV)
clang::ento::SVal getDynamicExtentWithOffset(
clang::ento::ProgramStateRef State,
clang::ento::SVal BufV)Description
Get the dynamic extent for a symbolic value that represents a buffer. If there is an offsetting to the underlying buffer we consider that too. Returns with an SVal that represents the extent, this is Unknown if the engine cannot deduce the extent. E.g. char buf[3]; (buf); // extent is 3 (buf + 1); // extent is 2 (buf + 3); // extent is 0 (buf + 4); // extent is -1 char *bufptr; (bufptr) // extent is unknown
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h:54