\param op is the given PcodeOp \param vn is the operand Varnode to set \param slot is the input slot where the Varnode is placed

\brief Create a LOAD expression at an offset relative to a \e spacebase register for a given address space The \e spacebase register is looked up for

Print, to a stream, textual information about where \b this Varnode is in scope within its particular Funcdata. This amounts to a list of address rang

\brief Print raw instructions contained in \b this FlowBlock A text representation of the control-flow and instructions contained in \b this block is

This will the Action name and the next step to execute \param s is the output stream

\brief Push \b this range forward through a binary operation Push all values in the given ranges through a binary p-code operator. If the output set

\param slot is the index of the outgoing edge to remove

Remove/narrow/split existing Range objects to eliminate the indicated addresses while still maintaining a disjoint cover. \param spc is the address sp

Remove edge \b in and \b out from \b this block, but create a new edge between the in-block and the out-block, preserving position in the in/out edge

The original edge, which must exist is replaced. \param num is the index of the outgoing edge \param b is the new outgoing block

This resets the discovery process for new local variables mapped to the scope's address space. Any analysis removing specific ranges from the mapped s

Assuming all the PcodeData has been generated for an instruction, go resolve any relative offsets and back patch their value(s) into the PcodeData

\brief Check if the condition from the given block holds for \b this block We assume the given block has 2 out-edges and that \b this block is immedi

\brief Decide if a given truncation is natural for \b this description A subset of lanes are specified and a truncation (given by a byte position and

\param op2 is the path container to copy from

\brief Set the initial ownership range for the given basic block \param bb is the given basic block \param beg is the beginning Address of the owned

A breakpoint can be placed on \b this Action or some sub-action by properly specifying the (sub)action name. \param tp is the type of breakpoint (\e b

\brief Toggle whether \b this prototype is a \e constructor method \param val is \b true if \b this is a constructor, \b false otherwise

< Get mask of consumed bits

\brief Change the value of a context variable at the given address with no bound The context value is set starting at the given address and \e paints

< (Re)derive the Symbol and offset for \b this from member Varnodes

Directly change the defining PcodeOp and set appropriate dirty bits \param op is the pointer to the new PcodeOp, which can be \b null

This routine invokes the setEmulate method on each breakpoint currently in the table \param emu is the emulator to be associated with the breakpoints

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

Make a range of values that holds everything. \param size is the size (in bytes) of the range

< Order this op within the ops for a single instruction

< Return \b true if name should be printed in function declarations

The decompiler supports one or more output languages (C, Java). This method does the main work of selecting one of the supported languages. In additio

< Clear return address attribute

Input parameters are set based on an existing function Scope and if there is no prototype model the default model is set. Parameters that are added to

< Indicate that this varnode is not flowing to or from pointer

< Set the normalized switch Varnode explicitly

< Set the range of values explicitly

< Destructor

< Does \b this show solid movement into Varnode

Given a string description of a type \b meta-type. Return the meta-type. \param metastring is the description of the meta-type \return the encoded typ

\return the iterator to the start of the list

\return the iterator to the end of the list

\param in1 is the first 128-bit value (as 2 64-bit words) to compare \param in2 is the second 128-bit value \return \b true if the first value is less

\brief Read an XML attribute value as a boolean This method is intended to recognize the strings, "true", "yes", and "1" as a \b true value. Anythin

\brief Output an XML attribute name/value pair to stream \param s is the output stream \param attr is the name of the attribute \param val is the att

This is called if a command throws a low-level error. It clears any analysis on the function, sets the current function to null, and issues a warning.

\brief Add a new child Element to the model, with \b this as the parent \param child is the new child Element

\brief Create a code label at the given address in \b this Scope A LabSymbol is created and mapped to the given address. \param addr is the given add

Put a new operator in the descendant list and set the cover dirty flag \param op is PcodeOp to add

\brief Create a dynamically mapped Symbol attached to a specific data-flow The Symbol is created and mapped to a dynamic \e hash and a code address w

\brief Create a symbol that forces display conversion on a constant \param nm is the equate name to display, which may be empty for an integer conver

\param b is the FlowBlock coming in \param lab is a label for the edge

< Get the bit mask of possible lane sizes

The VariablePiece takes partial ownership of \b this, via refCount. \param piece is the new piece to add

< Destructor

< Return current loop bounds (\b head and \b bottom).

\brief Look for and apply a function prototype override Given a call point, look for a prototype override and copy the call specification in \param d

\brief Assign storage for given parameter class, using the fallback assignment algorithm Given a resource list, a data-type, and the status of previo

\brief Calculate the type of \e extension to expect for the given logical value Return: - CPUI_COPY if no extensions are assumed for small values in

\brief Start of all PcodeOps in sequence number order

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

Construct a copy of the given BlockGraph in \b this. The nodes of the copy will be official BlockCopy objects which will contain a reference to their

Initialize a new Cover and set dirty bit so that updateCover will rebuild

Calculate the immediate dominator for each FlowBlock node in \b this BlockGraph, for forward control-flow. The algorithm must be provided a list of en