IDMethodContext

Create a copy of this context. This method is useful when optimizers need to operate and modify in depth a context and its elements (e.g. the CFG or exception-flow data), while the optimizer's success is not guaranteed. On failure, the copied context may be destroyed. On success, the context may be updated using the copied context, by using load(IDMethodContext)

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create an assignment instruction. Opcode: IR_ASSIGN.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create a new Object(...) instruction. Opcode: IR_INVOKE.

Create a copy-variable. If the source variable has a preferred name, it is copied to the newly-created variable.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

This convenience IR factory method wraps around createImm(long, IJavaType).

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create an invocation instruction. Opcode: IR_INVOKE.

Create a jcond (conditional jump) instruction. Opcode: IR_JCOND.

Create a goto (unconditional jump) instruction. Opcode: IR_JUMP.

Convenience IR factory method wrapping around getGlobalContext().

Create a monitor-enter instruction. Opcode: IR_MONITOR_ENTER.

Create a monitor-exit instruction. Opcode: IR_MONITOR_EXIT.

Create a new array instruction. Opcode: IR_INVOKE.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create a no-operation instruction. Opcode: IR_NOP.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create a variable mapping to a physical Dalvik register (or pair of registers). This method is used during the initial decompilation phase when the bytecode is converted to low-level IR.

Create a return instruction. Opcode: IR_RETURN.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create an exception-store instruction. Opcode: IR_STORE_EXCEPTION.

Convenience IR factory method wrapping around getGlobalContext().

Convenience IR factory method wrapping around getGlobalContext().

Create a switch instruction. Opcode: IR_SWITCH.

Convenience IR factory method wrapping around getGlobalContext().

Create a throw instruction. Opcode: IR_THROW.

Create or retrieve a variable. Caution: if the variable with the provided id already exists, it will be returned by this method without performing type check: the requested type at creation may not be the type of the returned (already existing) variable.

Create or retrieve a variable.

Create or retrieve a variable.

Create a virtual variable. A virtual variable does not map back to physical registers.

Get the current IR (intermediate representation) CFG of the decompiled method. As the method advances in the decompilation pipeline, the IR gets refined. When it is fully refined, the final IR is converted to a Java AST.

Retrieve an arbitrary object in this context.

Retrieve the set of objects keys for data elements stored using setData.

Retrieve the decompilation flags provided by the engine to decompile this method. Refer to IDecompilerUnit#FLAG_xxx constants.

Retrieve the underlying dex unit.

Retrieve the exception information for the current IR, if the exception information were parsed when the Dalvik method was converted to IR.

Retrieve the global IR context, shared by all IR method contexts. The global context (also referred to as 'intermediate context') is managed by the decompiler.

Retrieve a reference to the dex method being decompiled.

Retrieve the original signature of the method being decompiled.

Retrieve the global high-level operator factory. The type factory can be used to create all operators, including conditionals, string concatenation, and create cast operators.

Retrieve the list of variables that hold the method parameters. If the method is non-static, the first entry represents this.

Retrieve the type map for the decompiled method. The map keys are Dalvik input slot indices. The special index -1 indicates the return value type, if the method returns a value. The first entry is this, if the method is non-static. Although types long and double use two slots, only the first slot number is returned. Other primitives and reference type objects use a single slot.

- Example: virtual method f() of class A using 10 registers:
int f(char, double, String) => map= (-1:int, 5:ref_A, 6:char, 7:double, 9:String)

- Example: static method g() of class B using 20 registers:
void g(long, long, Object, boolean) => map= (14:long, 16:long, 18:Object, 19:boolean)

Retrieve the global high-level type factory.

Retrieve the type information provider. This provider can access additional, user-provided libraries (jar, dex) to retrieve information on types referenced but not defined in the underlying dex unit.

Retrieve a variable by id. This method may return null.

Retrieve a variable by name. This method may return null.

Retrieve a read-only map of all variables created by this context.

Retrieve the optional decompilation watchdog. The watchdog embeds timing information and can be queried by decompilation components: a component can request a self-verification, which will result in an exception being thrown (and decompilation aborted) if the timeout is exceeded.

Convenience method checking for FLAG_BATCH_DECOMPILATION.

Determine whether debug information (in particular, variable names) will be ported over variables created during the conversion to Intermediate Representation.

Determine whether exception information will be parsed and integrated within the initial Intermediate Representation, when the Dalvik code is converted to IR.

Determine whether the CFG was converted to an SSA form.

Load the constituents of a source context into this context. This method is to be used in conjunction with copy().

Convert this CFG to SSA (static single assignment) form. An SSA form should be generated before attempting to apply types. This method is reserved for internal use.

Perform type determination and propagation on the CFG. The CFG should be in SSA form before doing so. This method is reserved for internal use.

Replace the current IR by a new CFG and exception information.

This method should be seldom called; most times, modifying the CFG itself is sufficient. However, in some cases, a full replacement may be necessary.

Replace the current IR by a new CFG and exception information. It is recommended to use replace(CFG, IDTryData) instead.

This method should be seldom called; most times, modifying the CFG itself is sufficient. However, in some cases, a full replacement may be necessary.

Retrieve the underlying register used by a variable. If the variable uses a long type, the first register of the pair is returned. If the variable is virtual, -1 is returned.

Retrieve the primary variable id from a variable. If the variable directly maps a register or pair of registers, or is virtual, its id is simply returned. If the variable is a copy of another variable, the id of the copied variable is provided.

Store an arbitrary object in this context.

Self-verification. This method performs several consistency checks on the IR. On failure, the method will throw and an attempt will be made to dump the current IR CFG to a file named "failed.dot".