CodeQL library for C/C++
codeql/cpp-all 1.1.1 (changelog, source)

Member predicate MemsetBA::getBuffer

Gets the expression that denotes the buffer, along with a textual label for it and an access type.


  • 1 = buffer range [0, getSize) is accessed entirely.
  • 2 = buffer range [0, getSize) may be accessed partially or entirely.
  • 3 = buffer is accessed at offset getSize - 1.
Expr getBuffer(string bufferDesc, int accessType)