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

Member predicate MemccpyBA :: getBuffer

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

accessType:

  • 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 )