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

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

References flags, op, slot, and vn.

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