VirtualBinCFG Namespace Reference

Classes
struct	AuxiliaryInformation
class	CFGNode
class	CFGEdge
Typedefs
typedef std::set< rose_addr_t >	AddressSet
typedef std::map< rose_addr_t, SgAsmInstruction * >	AddressToInstructionMap
typedef std::map< SgAsmInstruction *, AddressSet >	InstructionToAddressesMap
typedef std::map< SgAsmStatement *, AddressSet >	StatementToAddressesMap
Enumerations
enum	EdgeConditionKind {   eckUnconditional,   eckTrue,   eckFalse,   eckCaseLabel,   eckDefault }
Functions
void	makeEdge (SgAsmInstruction *from, SgAsmInstruction *to, const AuxiliaryInformation *info, std::vector< CFGEdge > &result)
void	makeEdge (SgAsmInstruction *from, SgAsmInstruction *to, const AuxiliaryInformation *info, vector< CFGEdge > &result)
	Makes a CFG edge, adding appropriate labels.

---

Typedef Documentation

typedef std::set<rose_addr_t> VirtualBinCFG::AddressSet

typedef std::map<rose_addr_t, SgAsmInstruction*> VirtualBinCFG::AddressToInstructionMap

typedef std::map<SgAsmInstruction*, AddressSet> VirtualBinCFG::InstructionToAddressesMap

typedef std::map<SgAsmStatement*, AddressSet> VirtualBinCFG::StatementToAddressesMap

---

Enumeration Type Documentation

enum VirtualBinCFG::EdgeConditionKind

Enumerator:

eckUnconditional
eckTrue
eckFalse
eckCaseLabel
eckDefault

---

Function Documentation

void VirtualBinCFG::makeEdge	(	SgAsmInstruction *	from,
		SgAsmInstruction *	to,
		const AuxiliaryInformation *	info,
		std::vector< CFGEdge > &	result
	)

void VirtualBinCFG::makeEdge	(	SgAsmInstruction *	from,
		SgAsmInstruction *	to,
		const AuxiliaryInformation *	info,
		vector< CFGEdge > &	result
	)

Makes a CFG edge, adding appropriate labels.

---