Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Attributes | List of all members
SVF::BufOverflowDetector::BufferOverflowInfo Struct Reference

#include <AEDetector.h>

Public Attributes

u32_t bufferSize = 0
 
u32_t bufferLowerBound = 0
 
IntervalValue accessOffset = IntervalValue(0)
 

Detailed Description

Definition at line 142 of file AEDetector.h.

Member Data Documentation

◆ accessOffset

IntervalValue SVF::BufOverflowDetector::BufferOverflowInfo::accessOffset = IntervalValue(0)

Definition at line 146 of file AEDetector.h.

◆ bufferLowerBound

u32_t SVF::BufOverflowDetector::BufferOverflowInfo::bufferLowerBound = 0

Definition at line 145 of file AEDetector.h.

◆ bufferSize

u32_t SVF::BufOverflowDetector::BufferOverflowInfo::bufferSize = 0

Definition at line 144 of file AEDetector.h.


The documentation for this struct was generated from the following file: