SVF::AbstractInterpretation::AllocationSizeBounds Struct Reference

#include <AbstractInterpretation.h>

Public Attributes
u32_t	lowerBound
u32_t	upperBound

Detailed Description

Definition at line 191 of file AbstractInterpretation.h.

Member Data Documentation

lowerBound

u32_t SVF::AbstractInterpretation::AllocationSizeBounds::lowerBound

Definition at line 193 of file AbstractInterpretation.h.

upperBound

u32_t SVF::AbstractInterpretation::AllocationSizeBounds::upperBound

Definition at line 194 of file AbstractInterpretation.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/AbstractInterpretation.h