|
Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
| class | SVF::AddressValue |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Macros | |
| #define | AddressMask 0x7f000000 |
| #define | FlippedAddressMask (AddressMask^0xffffffff) |
| #define | InvalidMemAddr 0x7f000000 + 2 |
| #define | NullMemAddr 0x7f000000 |
| #define AddressMask 0x7f000000 |
Definition at line 33 of file AddressValue.h.
| #define FlippedAddressMask (AddressMask^0xffffffff) |
Definition at line 34 of file AddressValue.h.
| #define InvalidMemAddr 0x7f000000 + 2 |
Definition at line 36 of file AddressValue.h.
| #define NullMemAddr 0x7f000000 |
Definition at line 38 of file AddressValue.h.