\brief Beginning of Varnodes in given address space sorted by location \param spaceid is the given address space \return the beginning iterator

< Is \b this an incompletely defined data-type

Assuming there is a Symbol attached to \b this, run through the Varnode members until we find one with a SymbolEntry corresponding to the Symbol and r

< Set whether \b this Symbol should be speculatively merged

This routine gets the value from a range of bytes at an arbitrary address. It takes into account the endianness of the underlying space when decoding

< Return \b true is this op has an output

< (Re)set the default configuration

< Remove an address range from \e ownership of a Scope

This is the main entry point, at the control-flow level, for printing structured code. \param lng is the PrintLanguage that provides details of the hi

< Construct given the underlying function

In \b LOAD and \b STORE instructions, the particular address space being read/written is encoded as a constant Varnode. Internally, this constant is

< Is \b this a value that is supposed to be preserved across the function?

< Get the temporary ValueSet record

Allows "pointer to array" to be constructed \param s is the size of the pointer \param pt is the pointed-to data-type \param ws is the wordsize associ

Get the highest (byte) offset possible for this space \return the offset

< Get the instruction address associated with this op

\brief Sign extend above given bit Sign extend \b val starting at \b bit \param val is the value to be sign-extended \param bit is the index of the b

Change the Datatype and lock state associated with this Varnode if various conditions are met - Don't change a previously locked Datatype (unless \b o

< Set the \e slot associated with \b this trial

< Get the parent FlowBlock of \b this

< Is \b this a volatile storage location?

This generally just returns the data-type of the Varnode itself unless it is a \e union data-type. In this case, the data-type of the resolved field o

The given PcodeOp is inserted as the \e first op in the basic block except: - MULTIEQUALS in a basic block all occur first - INDIRECTs occur immediate

The comment is added to the global database, indexed via its placement address and the entry address of the function. The emitter will attempt to plac

< Get the end iterator to list of descendants

Return \b true if this Varnode is linked into the SSA tree

< Is the i-th incoming edge unstructured

The warning will be emitted as part of the block comment printed right before the prototype. The comment is stored in the global comment database, ind

< Print a simple SSA subtree rooted at \b this

Return whether \e Least \e Signifigant \e Byte of \b this occurs in \b op I.e. return - 0 if it overlaps op's lsb - 1 if it overlaps op's second lsb

< Does \b this have a locked name?

< Get the format to display the Symbol in

< Get the creation index

< Get the size of \b this SplitVarnode as a whole in bytes

A PcodeOpRaw is initially created with no input varnodes. Inputs are added with this method. Varnodes are added in order, so the first addInput call

Reset all analysis as if no heritage passes have yet taken place for the function. This does not directly affect Varnodes and PcodeOps in the underlyi

\brief End of all PcodeOps marked as \e dead

The pcode model for floating point encoding assumes that a consistent encoding is used for all values of a given size. This routine fetches the FloatF

< Get the least significant Varnode piece

\return the number of integers contained in this range

< Is the entry point of the function

Check if the given memory range is contained in \b this. If it is contained, return the endian aware offset of the containment. I.e. if the least sign

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

< Set the temporary Datatype

\brief Return \b true if this op flips the true/false meaning of its control-flow branching

Function prototype and call specification routines

Manually create a "base" core type. This currently must be called before any pointers or arrays are defined off of the type. \param name is the data-t

< Get the op-code value

< Set the temporary ValueSet record

\param sz is the size of the constant in bytes \param v is the constant value

Insert a new Range merging as appropriate to maintain the disjoint cover \param spc is the address space containing the new range \param first is the

< Is \b this an annotation?

< Destructor

Calculate \e off modulo the size of this address space in order to construct the offset "equivalent" to \e off that fits properly into this space \par

Return the default address space for holding data. For most processors, this is just the main RAM space and is the same as the default \e code space.

< Get the address space containing \b this Range

< Get the offset of the first byte in \b this Range

Given an offset into \b this data-type, return the component data-type at that offset. Also, pass back a "renormalized" offset suitable for recursize

< Get the most significant Varnode piece

The op is taken out of its basic block and put into the dead list. If the removal is permanent the input and output Varnodes should be unset. \param o

< Get the union or structure being referenced

The given Varnode is set into the given operand slot. Any existing input Varnodes with slot indices equal to or greater than the specified slot are pu

All previously existing input Varnodes are unset. The input slots for the op are resized and then filled in from the specified array. \param op is th

An internal method for derived classes to set space attributes \param fl is the set of attributes to be set

< Get the data-type class associated with \b this

Throw out the syntax tree, (unlocked) symbols, comments, and other derived information about a single function. \param fd is the function to clear

Pcode represents constant values within an operation as offsets within a special \e constant address space. (See ConstantSpace) \return a pointer to t

< Get i-th output FlowBlock