|
Static Value-Flow Analysis
|
#include <AEDetector.h>
Public Attributes | |
| u32_t | bufferSize = 0 |
| u32_t | bufferLowerBound = 0 |
| IntervalValue | accessOffset = IntervalValue(0) |
Definition at line 142 of file AEDetector.h.
| IntervalValue SVF::BufOverflowDetector::BufferOverflowInfo::accessOffset = IntervalValue(0) |
Definition at line 146 of file AEDetector.h.
| u32_t SVF::BufOverflowDetector::BufferOverflowInfo::bufferLowerBound = 0 |
Definition at line 145 of file AEDetector.h.
| u32_t SVF::BufOverflowDetector::BufferOverflowInfo::bufferSize = 0 |
Definition at line 144 of file AEDetector.h.