< Mark \b this as currently being linked into the SSA tree

< Initialize \e return prototype recovery analysis \brief Clear any analysis of the function's \e return prototype

< Set specific boolean attribute

< Clear marker used by dead-code algorithm

< Mark the existence of two COPYs into \b this

Delete the Cover object. Used for dead Varnodes before full deletion.

Free any Varnodes not attached to anything. This is only performed at fixed times so that editing operations can detach (and then reattach) Varnodes w

Clear desired boolean attributes on this Varnode and then set dirty bits if appropriate \param fl is the mask containing the list of attributes to cle

For \b this Varnode and any others attached to the same HighVariable, remove any SymbolEntry reference and associated properties.

Make a clone of the given PcodeOp, copying control-flow properties as well. The data-type is \e not cloned. \param op is the PcodeOp to clone \param

Collapse everything in the control-flow graph to isolated blocks with no inputs and outputs.

If: - The given Varnode is defined by a CPUI_INT_MULT. - The second input to the INT_MULT is a constant. - The first input is defined by another CPUI_

Compare the execution order of -this- and -bop-, if -this- executes earlier (dominates) return -1; if -bop- executes earlier return 1, otherwise retur

Return \b true if \b this is a constant with value \b val

This handles the situation where we need to find a logical address to hold the lower precision floating-point value that is stored in a bigger registe

\param op2 is the specific range to test for containment. \return \b true if \b this contains the interval \b op2

< Return \b true if primitives were successfully extracted

\param encoding is the value in the \e other FloatFormat \param formin is the \e other FloatFormat \return the equivalent value in \b this FloatFormat

< Destructor

\brief Find a duplicate calculation of a given PcodeOp reading a specific Varnode We only match 1 level of calculation. Additionally the duplicate m

Check if the required number of passes have transpired to allow removal of dead Varnodes in the given address space. If allowed, presumably no new Var

< Disable debug callback

< Print before and after strings for PcodeOps modified by given action

< Turn on debugging

< Add a new memory range to the debug trace

Create an InjectedUserOp description object based on the element and register it with \b this manager. \param decoder is the stream decoder \param glb

Children of the structure element describe each field. \param decoder is the stream decoder \param typegrp is the factory owning the new structure

Create a SegmentOp description object based on the element and register it with \b this manager. \param decoder is the stream decoder \param glb is th

\brief Convert \b this call site from an indirect to a direct function call This call site must be a CALLIND, and the function that it is actually ca

Delete any trial for which isUsed() returns \b false. This is used in conjunction with setting the active Varnodes on a call, so the slot number is re

\brief Given a list of input \e trials, derive the most likely inputs for \b this prototype Trials are sorted and marked as \e used or not. \param ac

\brief Given a list of output \e trials, derive the most likely return value for \b this prototype One trial (at most) is marked \e used and moved to

The indicated child Scope is deleted \param iter points to the Scope to delete

An individual Rule can be disabled by name, within \b this Action. It must be specified by a ':' separated name \e path, from the root Action down to

\brief Check if \b vn is produced by a 2-branch MULTIEQUAL, one side of which is a zero constant \param vn is the given Varnode \return \b true if t

\brief Inject p-code from a \e payload into \b this live function Raw PcodeOps are generated from the payload within a given basic block at a specifi

< Mark this op as consuming/producing ptrs

\brief Get the earliest use/read of a Varnode in a specified basic block \param vn is the Varnode to search for \param bl is the specified basic bloc

< Find \e earliest PcodeOp that has a specific common Varnode as input

\brief Execute from a given starting point and value to the common end-point of the path set Flow the given value through all paths in the path conta

< Upper bounds on the unique register

An individual Rule can be enabled by name, within \b this Action. It must be specified by a ':' separated name \e path, from the root Action down to t

This Scope and all of its sub-scopes are encoded as a sequence of \<scope> elements in post order. For each Scope, the encode() method is invoked. \p

< Beginning of split points

\brief End of all PcodeOps in sequence number order

< Beginning of name map

\brief End of PcodeOp objects in the \e dead list

Make some determination of the range of possible values for a LOAD based an partial value set analysis. This can sometimes get - minimumOffset - other

\brief Build value sets for a data-flow system Given a set of sinks, find all the Varnodes that flow directly into them and set up their initial Valu

Evaluate if \b this expression can be easily propagated past a merge point. Also can the Varnode be used past the merge, or does its value need to be

\brief Decide if a given subset of lanes can be extended naturally for \b this description A subset of lanes are specified and their position within

\param x is an encoded floating-point value \return the (signed) exponent

Collect all FlowBlock nodes that reach a \b tail of the loop without going through \b head. Put them in a list and mark them. \param body will contain

Find the minimal Address range covering the given Varnode that doesn't split other Varnodes \param vn is the given Varnode \param sz is used to pass b

Look up the Symbol visible in \b this function's Scope and return the HighVariable associated with it. If the Symbol doesn't exist or there is no Var

Find a Varnode marked as a function input given its size and address \param s is the size \param loc is the starting address \return the match Varnode

Its assumed that \b this is the output of the double precision operation being performed. The \b whole Varnode may not yet exist. This method returns

\brief Find a defined Varnode via its storage address and its definition address \param s is the size in bytes \param loc is the storage address \par

< Transfer ownership of another's VariablePiece to \b this