#include "Util/SparseBitVector.h"
#include "Util/GeneralType.h"

Classes
class	SVF::StInfo

class	SVF::SVFType

class	SVF::SVFPointerType

class	SVF::SVFIntegerType

class	SVF::SVFFunctionType

class	SVF::SVFStructType

class	SVF::SVFArrayType

class	SVF::SVFOtherType

struct	SVF::Hash< NodePair >

struct	std::hash< SVF::NodePair >

struct	std::hash< SVF::SparseBitVector< N > >
	Specialise hash for SparseBitVectors. More...

struct	std::hash< std::vector< T > >

Namespaces
	SVF
	for isBitcode

Macros
#define	SVF_DEBUG_WITH_TYPE(TYPE, X)

#define	DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)
	LLVM debug macros, define type of your DBUG model of each pass. More...

#define	DOSTAT(X) X

#define	DOTIMESTAT(X) X

#define	DGENERAL "general"

#define	DPAGBuild "pag"

#define	DMemModel "mm"

#define	DMemModelCE "mmce"

#define	DCOMModel "comm"

#define	DDDA "dda"

#define	DDumpPT "dumppt"

#define	DRefinePT "sbpt"

#define	DCache "cache"

#define	DWPA "wpa"

#define	DMSSA "mssa"

#define	DInstrument "ins"

#define	DAndersen "ander"

#define	DSaber "saber"

#define	DMTA "mta"

#define	DCHA "cha"

#define	TIMEINTERVAL 1000

#define	CLOCK_IN_MS() (clock() / (CLOCKS_PER_SEC / TIMEINTERVAL))

#define	NATIVE_INT_SIZE (sizeof(unsigned long long) * CHAR_BIT)
	Size of native integer that we'll use for bit vectors, in bits. More...

Enumerations
enum	SVF::ModRefInfo { SVF::ModRef , SVF::Ref , SVF::Mod , SVF::NoModRef }

enum	SVF::AliasResult { SVF::NoAlias , SVF::MayAlias , SVF::MustAlias , SVF::PartialAlias }

Functions
std::ostream &	SVF::operator<< (std::ostream &os, const SVFType &type)

Macro Definition Documentation

◆ CLOCK_IN_MS

#define CLOCK_IN_MS ( ) (clock() / (CLOCKS_PER_SEC / TIMEINTERVAL))

Definition at line 513 of file SVFType.h.

◆ DAndersen

#define DAndersen "ander"

Definition at line 503 of file SVFType.h.

◆ DBOUT

#define DBOUT	(	TYPE,
		X
	)	SVF_DEBUG_WITH_TYPE(TYPE, X)

LLVM debug macros, define type of your DBUG model of each pass.

Definition at line 484 of file SVFType.h.

◆ DCache

#define DCache "cache"

Definition at line 499 of file SVFType.h.

◆ DCHA

#define DCHA "cha"

Definition at line 506 of file SVFType.h.

◆ DCOMModel

#define DCOMModel "comm"

Definition at line 495 of file SVFType.h.

◆ DDDA

#define DDDA "dda"

Definition at line 496 of file SVFType.h.

◆ DDumpPT

#define DDumpPT "dumppt"

Definition at line 497 of file SVFType.h.

◆ DGENERAL

#define DGENERAL "general"

General debug flag is for each phase of a pass, it is often in a colorful output format

Definition at line 490 of file SVFType.h.

◆ DInstrument

#define DInstrument "ins"

Definition at line 502 of file SVFType.h.

◆ DMemModel

#define DMemModel "mm"

Definition at line 493 of file SVFType.h.

◆ DMemModelCE

#define DMemModelCE "mmce"

Definition at line 494 of file SVFType.h.

◆ DMSSA

#define DMSSA "mssa"

Definition at line 501 of file SVFType.h.

◆ DMTA

#define DMTA "mta"

Definition at line 505 of file SVFType.h.

◆ DOSTAT

#define DOSTAT ( X ) X

Definition at line 485 of file SVFType.h.

◆ DOTIMESTAT

#define DOTIMESTAT ( X ) X

Definition at line 486 of file SVFType.h.

◆ DPAGBuild

#define DPAGBuild "pag"

Definition at line 492 of file SVFType.h.

◆ DRefinePT

#define DRefinePT "sbpt"

Definition at line 498 of file SVFType.h.

◆ DSaber

#define DSaber "saber"

Definition at line 504 of file SVFType.h.

◆ DWPA

#define DWPA "wpa"

Definition at line 500 of file SVFType.h.

◆ NATIVE_INT_SIZE

#define NATIVE_INT_SIZE (sizeof(unsigned long long) * CHAR_BIT)

Size of native integer that we'll use for bit vectors, in bits.

Definition at line 516 of file SVFType.h.

◆ SVF_DEBUG_WITH_TYPE

#define SVF_DEBUG_WITH_TYPE	(	TYPE,
		X
	)

Value:

        do                                                                     \
        {                                                                      \
        } while (false)

Definition at line 477 of file SVFType.h.

◆ TIMEINTERVAL

#define TIMEINTERVAL 1000

Definition at line 512 of file SVFType.h.

Classes

Namespaces

Macros

Enumerations

Functions