< Mark PcodeOp as having boolean output

This is convenience method that is more efficient than call opSetInput() twice. \param op is the given PcodeOp \param slot1 is the first input slot be

For \b this and another Varnode, establish that either: - bigger = CONCAT(smaller,..) or - smaller = SUBPIECE(bigger) Check through COPY chains and v

Perform a CPUI_INT_RIGHT on the given val \param val is the value to shift \param sa is the number of bits to shift \return the shifted value

Output a description of this Range like: ram: 7f-9c \param s is the output stream

Print boolean attribute information about \b this as keywords to a stream \param s is the output stream

For the console mode, an address space can tailor how it converts user strings into offsets within the space. The base routine can read and convert re

Find any symbols matching the given name in the current scope. Scope is either the current function scope if a function is active, otherwise the glob

For certain data-types, particularly \e union, variables of that data-type are transformed into a subtype depending on the particular use. Each read

This instance assumes the identity of the given Varnode and the defining index is cached to facilitate quick sorting. \param v is the given Varnode

< Mark \b this as not directly affected by a legal input

< Get position of \b this within its parameter \e group

only to be used by HighVariable

\brief Toggle whether analysis needs to be restarted for \b this function \param val is \b true if a reset is required

The given Symbol's data-type and flags are inherited by \b this Varnode. If the Symbol is \e type-locked, a reference to the Symbol is set on \b this

< Return data-type of the HighVariable when read by the given PcodeOp

\brief Set a 128-bit value (2 64-bit words) from a 64-bit value \param res will hold the 128-bit value \param val is the 64-bit value to set from

The ValueSets are recalculated in the established topological ordering, with looping at various levels until a fixed point is reached. \param max is t

If this Action matches the given name, enable debugging. \param nm is the Action name to match \return true if debugging was enabled

\param in1 is the first 128-bit value (as 2 64-bit words) to add \param in2 is the second 128-bit value to add \param out will hold the 128-bit result

Any previous cover is removed. Calling this with an input Varnode still produces a valid Cover. \param vn is the Varnode

\brief Create a function Symbol at the given address in \b this Scope The FunctionSymbol is created and mapped to the given address. A Funcdata objec

Given a Varnode being read and the PcodeOp which reads it, add the point of the read to \b this and recursively fill in backwards until we run into ex

\brief Test if the given trial Varnode is likely only used for parameter passing Flow is followed from the Varnode itself and from ancestors the Varn

Treat \b val as a constant of size \b sz. Scanning across the bits of \b val return the number of transitions (from 0->1 or 1->0) If there are 2 or le

Return: - 0 if point not on boundary - 1 if on tail - 2 if on the defining point \param point is the given PcodeOp point \return the characterization

How many getParent() calls from the leaf to \b this \param leaf is the component FlowBlock \return the depth count

\brief Decide whether a given storage location could be, or could hold, the return value If the output is locked, check if the location overlaps the

Remove all Datatype objects owned by this TypeFactory

< Set marker used by dead-code algorithm

< Calculate \e non-zero masks for all Varnodes

< Mark \b this as an \e implied variable in the final C source

\brief Check the definition of a Varnode for containment If the given Varnode has a defining PcodeOp this is checked for containment. If the Varnode

< Are all elements aligned

The internal cover is marked as dirty. If \b this is a piece of a VariableGroup, it and all the other HighVariables it intersects with are marked as h

Create the Varnode object (constant, unique, vector piece) described by the given placeholder. If the Varnode is an output, assume the op already exis

\param actionname is the name of the Action being debugged

< Has a breakpoint been hit

Parse an \<edge> element \param decoder is the stream decoder \param resolver is used to cross-reference the edge's FlowBlock endpoints

\brief Find CBRANCH operation that determines whether zero is set or not Assuming that \b op is a 2-branch MULTIEQUAL as per discoverZeroSlot(), try

\brief Does the \b condBlock \b true outgoing edge flow to the block that sets zero The \b zeroPathIsTrue variable is set based on the current config

If a term has a multiplicative coefficient, but the underlying term is still additive, in some situations we may need to distribute the coefficient be

Most memory locations should have dead-code analysis performed, and this routine will return \b true. For certain special spaces like the \e constant

< Return \b true if this does datatype propagation

Return \b true if \b this block \e dominates the given block (or is equal to it). This assumes that block indices have been set with a reverse post or

\brief Find a sub-type pointer given an offset into \b this Add a constant offset to \b this pointer. If there is a valid component at that offset, r

The edge is saved assuming we already know what block we are in. \param encoder is the stream encoder

Encode just an \<addr> element. The effect type is indicated by the parent element. \param encoder is the stream encoder

< Beginning of fields

For a variable that is a relative pointer, constant offsets relative to the variable can be displayed either as coming from the variable itself or fro

\param x is an encoded floating-point value \return the sign bit

Find an aligned word from the bank. First an attempt is made to fetch the data from the LoadImage. If this fails, the value is returned as 0. \param

If the given address was heritaged, return (the iterator to) the SizeMap entry describing the associated range and when it was heritaged. \param addr

If \b this data-type has an alternate data-type form that matches the given data-type, return an index indicating this form, otherwise return -1. \par

If the \b whole does not already exist, it is created as a \e unique register. The new Varnode must later be set explicitly as the output of some Pcod

\brief Find and/or create Scopes associated with a qualified Symbol name The name is parsed using a \b delimiter that is passed in. The name can be o

< Set the maximum number of passes

\brief Generate raw p-code for the current function Follow flow from the entry point of the function and generate the raw p-code ops for all instruct

Make sure \b this has exactly 2 out edges and the first edge flows to the given FlowBlock. Swap the edges if necessary. Throw an exception if this is

If the pointer Varnode is no longer used, recursively check and remove the op producing it, which will be either an INT_ADD or PTRSUB, until the root

Retrieve the (union of) Varnode flags specific to the Symbol and specific to \b this storage. \return all Varnode flags that apply

Get a "base" data-type, given its size and \b metatype. If a 1-byte integer is requested, do NOT return a TypeChar \param s is the size of the data-ty

< Return \b true, if \b this op supports far pointers

\param loc is the starting address of the given range \param size is the number of bytes in the range \param res will hold the output storage descript

< Is \b this guard duplicated across multiple blocks

< Get the number of cases