IfcPrintInputs Class Reference

Print info about the current function's input Varnodes: print inputs More...

Inheritance diagram for IfcPrintInputs:

Collaboration diagram for IfcPrintInputs:

Public Member Functions
virtual void	execute (istream &s)
Public Member Functions inherited from IfaceDecompCommand
virtual void	setData (IfaceStatus *root, IfaceData *data)
	Associate a specific data object with this command. More...
virtual string	getModule (void) const
	Get the formal module name to which this command belongs. More...
virtual IfaceData *	createData (void)
	Create a specialized data object for this command (and its module) More...
virtual void	iterationCallback (Funcdata *fd)
	Perform the per-function aspect of this command. More...
void	iterateFunctionsAddrOrder (void)
	Iterate command over all functions in all scopes. More...
void	iterateFunctionsLeafOrder (void)
	Iterate command over all functions in a call-graph traversal. More...
Public Member Functions inherited from IfaceCommand
void	addWord (const string &temp)
	Add a token to the command line string associated with this command. More...
void	addWords (const vector< string > &wordlist)
	Add words to the associated command line string.
void	commandString (string &res) const
	Get the complete command line string. More...
int4	compare (const IfaceCommand &op2) const
	Order two commands by their command line strings. More...

Static Public Member Functions
static bool	nonTrivialUse (Varnode *vn)
	Check for non-trivial use of given Varnode. More...
static int4	checkRestore (Varnode *vn)
	Check if a Varnode is restored to its original input value. More...
static bool	findRestore (Varnode *vn, Funcdata *fd)
	Check if storage is restored. More...
static void	print (Funcdata *fd, ostream &s)
	Print information about function inputs. More...

Additional Inherited Members
Protected Member Functions inherited from IfaceDecompCommand
void	iterateScopesRecursive (Scope *scope)
	Iterate recursively over all functions in given scope. More...
void	iterateFunctionsAddrOrder (Scope *scope)
	Iterate over all functions in a given scope. More...
Protected Attributes inherited from IfaceDecompCommand
IfaceStatus *	status
	The console owning this command.
IfaceDecompData *	dcp
	Data common to decompiler commands.

Detailed Description

Print info about the current function's input Varnodes: print inputs

Member Function Documentation

checkRestore()

int4 IfcPrintInputs::checkRestore ( Varnode *  vn )

static

Check if a Varnode is restored to its original input value.

Look for any value flowing into the Varnode coming from anything other than an input Varnode with the same storage. The value can flow through a COPY, CAST, INDIRECT, or MULTIEQUAL

Parameters

vn	is the given Varnode

Returns

0 if Varnode is restored, 1 otherwise

execute()

void IfcPrintInputs::execute ( istream &  s )

virtual

Execute this command. Additional state can be read from the given command line stream. Otherwise, the command gets its data from its registered IfaceData object

Parameters

s	is the input stream from the command line

Implements IfaceCommand.

findRestore()

bool IfcPrintInputs::findRestore ( Varnode *  vn, Funcdata *  fd  )

static

Check if storage is restored.

For the given storage location, check that it is restored from its original input value.

Parameters

vn	is the given storage location
fd	is the function being analyzed

nonTrivialUse()

bool IfcPrintInputs::nonTrivialUse ( Varnode *  vn )

static

Check for non-trivial use of given Varnode.

The use is non-trivial if it can be traced to any p-code operation except a COPY, CAST, INDIRECT, or MULTIEQUAL.

Parameters

vn	is the given Varnode

Returns

true if there is a non-trivial use

print()

void IfcPrintInputs::print ( Funcdata *  fd, ostream &  s  )

static

Print information about function inputs.

For each input Varnode, print information about the Varnode, any explicit symbol it represents, and info about how the value is used.

Parameters

fd	is the function
s	is the output stream to write to

---

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

• ifacedecomp.hh
• ifacedecomp.cc