DUtil

Calculate the trivial complexity metric for the provided IR expression. Every IR element has a weight of 1.

Check for instruction matching in the provided block. The block must be fully matched.

Check for instruction matching in a sequence of blocks. Blocks must be fully contiguous and fully matched.
This is an extended version of #checkBlock(BasicBlock, DOpcodeType...), which performs matching on a single block.

Clean the graph of an IR method context.

Collect the unique list of variable ids making up this expression, including the expression itself if is an IDVar.

Collect all the variables making up this expression, including the expression itself if is a variable. The returned collection may contain duplicates. Example: If the provided expression if ((var1 + var2 + 5) / var1), this method will return [var1, var2, var1]. Note that the collection is done in post-order, so ordering is predictable.

Copy an IR-CFG.

Count the number of occurrences of a given variable in the provided IR expression.

Create the primary variable mapping to a register or couple of registers. A primary variable has an id that can be mapped directly to the underlying Dalvik register id(s).

Dump an IR-CFG to a Graphviz dot file in the user's temporary folder.

Dump an IR-CFG to a Graphviz dot file in the user's temporary folder.

Generate the standard variable name associated with the provided variable id.

A convenience method to format a collection of variable ids into a comma-separated string.

Generate an offset IR-to-native offset conversion map.

Determine the aggregated context type of an instruction.

Get the list of reachable blocks of the provided IR-CFG. They are the blocks that can be reached, regularly or irregularly, from the entry-point block (i.e. the first block, at offset 0).

Determine whether the IR expression makes invocations (general invocations, new, new-array).

Determine whether the provided expression is or contains the provided variable.

Determine whether the provided expression contains variables.

Insert a header block filled with NOP instructions. Essentially, the CFG is shifted downward to accommodate the insertion of a number of lead instructions (to be executed before the entry point).

This method never fails. The returned CFG and IR context information is updated to maintain consistency.

Determine if an expression is an IR immediate not holding the value 0.

Determine if an expression is an IR immediate holding the provided value. The immediate value is determined according to its type. If the type of the expression is undetermined, a signed type is assumed.

Determine if an expression is an IR immediate holding the value 0.

Determine whether the provided field is or appears to be final.

Update the instruction sizes of a CFG. This method is a general version of normalizeGraph(). No CFG block is inserted or deleted. Only instructions' sizes and offsets are updated. Note that the CFG is modified, but the CFG reference within the context is not changed (i.e. no new CFG is created).

Determine the meaningful next instruction in the execution flow, assuming no exception was raised. Jump targets are followed, no-operations are skipped.

Normalize the IR by resetting all instructions to the unit size (1). Exception data is updated as well. The modification are done in-place: the CFG and other objects references remain valid.

Normalize the IR by resetting all instructions to the required size. Exception data is updated as well. The modification are done in-place: the CFG and other objects references remain valid.

Parse a standard variable name (as generated by formatVarId(int)) and retrieve the associated variable id.

Remove all gaps from the provided IR-CFG.

Gaps are illegal in an IR-CFG. They are tolerated during an optimization phase; however, an optimizer, or any code modifying the IR, must provide a legal IR to subsequent components.

Remove an instruction in a block. Throws on error (watch out: the boolean return value does not indicate failure).

Remove unreachable blocks from an IR-CFG. They are blocks that cannot be reached, regularly or irregularly, from the entry-point block (i.e. the first block, at offset 0).

Unreachable blocks are illegal in an IR-CFG. They are tolerated during an optimization phase; however, an optimizer, or any code modifying the IR, must provide a legal IR to subsequent components.

Remove unreachable blocks from an IR-CFG. They are blocks that cannot be reached, regularly or irregularly, from the entry-point block (i.e. the first block, at offset 0).

Unreachable blocks are illegal in an IR-CFG. They are tolerated during an optimization phase; however, an optimizer, or any code modifying the IR, must provide a legal IR to subsequent components.

Remove an unreachable trampoline block (ending on a JCOND or JUMP).

Replace an IR expression located inside another IR. This method is a deep version of replaceSubExpression(IDExpression, IDExpression). Comparison is done by identity.

Simply DOpcodeType#JCOND and IR_SWITCH IR instructions:
- JCOND: the target branch must not point to the fallthrough instruction; if it is, the JCOND must be replaced by a JUMP (while taking care of potential side-effects introduced by the evaluation of the JCOND predicate)
- SWITCH: the case targets must not point to the fallthrough instruction; if any does, the case entry must be removed (and will be taken care by the switch's default entry)

Illegal JCOND/SWITCH are tolerated during an optimization phase; however, an optimizer, or any code modifying the IR, must provide a legal IR to subsequent components.

Split a block of the context's CFG into two blocks. The newly-created block will be set up to have the same irregular outputs as the original block. The context's exception information data will be updated accordingly.

Unprotect a basic block. The CFG is adjusted and cleaned afterward.

Attempt to unroll some code whose pivot is a single variable. The generated code will not contain branching instructions JUMP, JCOND, SWITCH, RETURN, THROW, etc.).

Determine whether the IR expression uses references, defined as any of: accessing fields, accessing array elements, creating arrays.

Verify an IR-CFG from a method context. On failure, the CFG will be dumped to "failed.dot"

Verify an IR-CFG from a method context. On failure, the CFG will be dumped to "failed.dot"

Verify an IR-CFG.

Verify an IR-CFG.