Static Value-Flow Analysis
Classes | Namespaces | Macros
AddressValue.h File Reference
#include "Util/GeneralType.h"
#include <sstream>

Go to the source code of this file.

Classes

class  SVF::AddressValue
 

Namespaces

 SVF
 for isBitcode
 

Macros

#define AddressMask   0x7f000000
 
#define FlippedAddressMask   (AddressMask^0xffffffff)
 
#define BlackHoleAddr   0x7f000000 + 2
 

Macro Definition Documentation

◆ AddressMask

#define AddressMask   0x7f000000

Definition at line 33 of file AddressValue.h.

◆ BlackHoleAddr

#define BlackHoleAddr   0x7f000000 + 2

Definition at line 36 of file AddressValue.h.

◆ FlippedAddressMask

#define FlippedAddressMask   (AddressMask^0xffffffff)

Definition at line 34 of file AddressValue.h.