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 | BlackHoleAddr 0x7f000000 + 2 |
#define AddressMask 0x7f000000 |
Definition at line 33 of file AddressValue.h.
#define BlackHoleAddr 0x7f000000 + 2 |
Definition at line 36 of file AddressValue.h.
#define FlippedAddressMask (AddressMask^0xffffffff) |
Definition at line 34 of file AddressValue.h.