< Set a specific input Varnode

Order \b this with another data-type, in a way suitable for the type propagation algorithm. Bigger types come earlier. More specific types come earlie

\return the first SymbolEntry

< Return \b true if \b this contains single value

\brief Get the resolved union field associated with the given edge If there is no field associated with the edge, null is returned \param parent is t

\param opc is an OpCode value \return the name of the operation as a string

< Are input data-types locked

The least significant bit is index 0. \param val is the given value \return the index of the most significant set bit, or -1 if none are set

\param size is the size in bytes of the new unique Varnode \return the new placeholder node

< Remove the i-th input parameter

\brief Beginning of varnodes with set definition property Get an iterator to Varnodes in definition order restricted with the following properties: -

< Beginning of sub-ranges

\brief Determine if two Varnodes hold the same value Only return \b true if it can be immediately determined they are equivalent \param vn1 is the fi

Return a unique short cut character that is associated with this space. The shortcut character can be used by the read method to quickly specify the

There should be exactly one instance of the "void" Datatype object, which this fetches \return the "void" data-type

< Calculate the local output type

Characterize the intersection of \b this range with another CoverBlock. Return: - 0 if there is no intersection - 1 if only the intersection is at bou

< Has \b this trial been checked

< Is \b this an implied variable?

< Is this storage for a calls return address?

< Mark that trial is not actively used

Find the previous op that flowed uniquely into this op, if it exists. This routine will not search farther than the basic block containing this. \ret

Keep descending tree hierarchy, taking the front block, until we get to the bottom copy block \return the first leaf FlowBlock to execute

< Get the number of member Varnodes \b this has

Find or create a data-type identical to the given data-type except for its name and id. If the name and id already describe an incompatible data-type,

< Is \b this the low portion of a double precision value?

< Get the Symbol offset associated with \b this

This returns the total number of address spaces used by the processor, including all special spaces, like the \b constant space and the \b iop space.

< Construct a reference to a field

Most processors have registers and instructions that are reserved for implementing a stack. In the pcode translation, these are translated into locati

\brief Return \b true if this op produces a boolean output

Starting with \b this Scope, find a function with the given name. If there are no Symbols with that name in \b this Scope at all, recurse into the par

< Get the offset associated with \b this trial

\brief Replace all read references to the first Varnode with a second Varnode \param vn is the first Varnode (being replaced) \param newvn is the sec

Count the number of more significant zero bits before the most significant one bit in the representation of the given value; \param val is the given v

Return the alignment associated with a primitive data-type of the given size \param size is the aligned size in bytes of the primitive \return the exp

< Get position within alive/dead list

Most processors have a main address bus, on which the bulk of the processor's RAM is mapped. This matches SLEIGH's notion of the \e default space. For

This generally just returns the data-type of the HighVariable associated with \b this, unless it is a \e union data-type. In this case, the data-type

< Map name and type to the payload id

< Return \b true if \b this is a constant

< Insert a new Varnode into the operand list for the given PcodeOp

A ParamTrial object is created and a slot is assigned. \param addr is the starting address of the memory range \param sz is the number of bytes in the

If \b this is (originally) a \e join address, reevaluate it in terms of its new \e offset and \e size, changing the space and offset if necessary. \pa

\brief Set the data-type (as a meta-type) associated with inputs to this opcode \param val is the data-type of inputs

\brief Set the data-type (as a meta-type) associated with outputs of this opcode \param val is the data-type of outputs

Treat the given \b val as a constant of \b size bytes \param val is the given value \param size is the size in bytes \return \b true if the constant (

\brief Get the evaluation type of this op

< Get the i-th input FlowBlock

< Set return value storage directly

Some data-types are ephemeral, and, in the final decompiler output, get replaced with a formal version that is a stripped down version of the original

< Get the \b false output FlowBlock

\brief Copy a read/write facing resolution for a specific data-type from one PcodeOp to another \param parent is the data-type that needs resolution

< Return \b true if this needs to special printing

< Return \b true if \b this contains all possible values

Run \b this Action until completion or a breakpoint occurs. Depending on the behavior properties of this instance, the apply() method may get called m

An \e input Varnode has a special designation within SSA form as not being defined by a p-code operation and is a formal input to the data-flow of the

\brief Get the i-th component block \param i is the index of the component block \return the specified component block

The Symbol is created and added to any name map, but no SymbolEntry objects are created for it. \param nm is the name of the new Symbol \param ct is a

Make sure block references in the BlockEdge objects owned by \b this block, and any other block at the other end of these edges, are consistent.