Member predicate ZeroMemoryBA :: 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.