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. More...

Typedef Documentation

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

Definition at line 24 of file virtualBinCFG.h.

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

Definition at line 25 of file virtualBinCFG.h.

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

Definition at line 26 of file virtualBinCFG.h.

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

Definition at line 27 of file virtualBinCFG.h.

Enumeration Type Documentation

enum VirtualBinCFG::EdgeConditionKind

Enumerator
eckUnconditional
eckTrue
eckFalse
eckCaseLabel
eckDefault

Definition at line 15 of file virtualBinCFG.h.

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.

Definition at line 150 of file virtualBinCFG.C.

References SgSwitchStatement::get_body(), SgReturnStmt::get_expression(), SgNode::get_parent(), isSgBreakStmt(), isSgContinueStmt(), isSgGotoStatement(), isSgReturnStmt(), and isSgSwitchStatement().