soot.dotnet.instructions

Class CilLdElemaInstruction

java.lang.Object

soot.dotnet.instructions.AbstractCilnstruction

soot.dotnet.instructions.CilLdElemaInstruction

All Implemented Interfaces:

CilInstruction

public class CilLdElemaInstruction
extends AbstractCilnstruction

Load element out of an array local In ILSpy/.NET instruction an element can be loaded by one instruction (e.g. elem[1,5]); unfolding it

Field Summary

Fields inherited from class soot.dotnet.instructions.AbstractCilnstruction

cilBlock, dotnetBody, instruction

Constructor Summary

Constructors

Constructor and Description
CilLdElemaInstruction(ProtoIlInstructions.IlInstructionMsg instruction, DotnetBody dotnetBody, CilBlock cilBlock)

Method Summary

Modifier and Type	Method and Description
Value	getBaseArrayLocal()
List<Value>	getIndices()
boolean	isMultiArrayRef()
void	jimplify(Body jb) Jimplify a starting statement of ILSpy AST
Value	jimplifyExpr(Body jb) Jimplify an expression of ILSpy AST statement children
Value	resolveRewriteMultiArrAccess(Body jb) Resolve Jimple Body, rollout array access dimension for dimension and return new rValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CilLdElemaInstruction

public CilLdElemaInstruction(ProtoIlInstructions.IlInstructionMsg instruction,
                             DotnetBody dotnetBody,
                             CilBlock cilBlock)

Method Detail

jimplify

public void jimplify(Body jb)

Description copied from interface: CilInstruction

Jimplify a starting statement of ILSpy AST

jimplifyExpr

public Value jimplifyExpr(Body jb)

Description copied from interface: CilInstruction

Jimplify an expression of ILSpy AST statement children

Returns:

isMultiArrayRef

public boolean isMultiArrayRef()

getBaseArrayLocal

public Value getBaseArrayLocal()

getIndices

public List<Value> getIndices()

resolveRewriteMultiArrAccess

public Value resolveRewriteMultiArrAccess(Body jb)

Resolve Jimple Body, rollout array access dimension for dimension and return new rValue

Parameters:

jb - Jimple Body where to insert the rewritten statements