Node in a depth first traversal of ancestors. More...

Public Types
enum	{ seen_solid0 = 1, seen_solid1 = 2, seen_kill = 4 }

Public Member Functions
	State (PcodeOp *o, int4 s)
	Constructor given a Varnode read. More...

int4	getSolidSlot (void) const
	Get slot associated with solid movement.

void	markSolid (int4 slot)
	Mark slot as having solid movement.

void	markKill (void)
	Mark killedbycall seen.

bool	seenSolid (void) const
	Has solid movement been seen.

bool	seenKill (void) const
	Has killedbycall been seen.

Public Attributes
PcodeOp *	op
	Operation along the path to the Varnode.

Varnode *	vn
	Varnode input to op, along path.

int4	slot
	vn = op->getIn(slot)

uint4	flags
	Boolean properties of the node.

Detailed Description

Node in a depth first traversal of ancestors.

Member Enumeration Documentation

anonymous enum

Enumerator
seen_solid0	Indicates a solid movement into the Varnode occurred on at least one path to MULTIEQUAL.
seen_solid1	Indicates a solid movement into anything other than slot 0 occurred.
seen_kill	Indicates the Varnode is killed by a call on at least path to MULTIEQUAL.

AncestorRealistic::State::State	(	PcodeOp *	o,
		int4	s
	)

inline

Constructor given a Varnode read.

Parameters

o	is the PcodeOp reading the Varnode
s	is the input slot

The documentation for this class was generated from the following file: