proguard.dexfile.ir.ts.array

Class FillArrayTransformer

java.lang.Object

proguard.dexfile.ir.ts.StatedTransformer

proguard.dexfile.ir.ts.array.FillArrayTransformer

All Implemented Interfaces:

Transformer

public class FillArrayTransformer
extends StatedTransformer

require SSA, usually run after ConstTransformer 1. array is fixed size. 2. array object init and use once, (exclude the element assignment) 3. all elements are init with fixed index before use. 4. the array is not in PhiExpr 5. and for array object init at A, use at B; A and B must in same loop/path, so G(A->B), G(A->C->B), G(A->C,A->D,C->B,D->B), G(A->C,C->D,D->C,C->B) and G(A->C,C->A,C->B) is ok to transform, but for G(A->C,C->B,B->D,D->C), B is in a loop (B->D->C->B), should not transformed.

transform

     a=new String[3]
     a[0]="123"
     a[2]="1234"
     a[1]="12345"
     return a
 

to

     return new String[3] { "123", "12345", "1234" }
 

1. This Transformer is useful when cleanup the tool-injected reflection code

     // before transform
     ...
     Class a[]=new Class[2]
     a[0]=String.class
     a[1]=int.class
     Method m=x.getMethod("methodA",a)
     Object b[]=new Object[2]
     b[0]="123";
     b[1]=Integer.valueOf(1);
     m.invoke(c,b)
     // after transform
     Method m=x.getMethod("methodA", new Class[2] { String.class ,int.class });
     m.invoke(b,new Object[]{"123",Integer.valueOf(1)})
 

2. Suggest decompilers generate better code

     // for following code, before transform, the decompiler generate same source
     Object[]a=new Object[2];
     a[0]=b;
     a[1]=c
     String.format("b is %s, c is %s",a)
     // after transform, then decompile generate the following source
     String.format("b is %s, c is %s",b,c)
 

FIXME also handle not full filled array

 int a[] = new int[5];
 // a[0]=0;
 a[1] = 1;
 a[2] = 3;
 a[3] = 4;
 a[4] = 7;
 

Constructor Summary

Constructors

Constructor and Description
FillArrayTransformer()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String... args)
protected java.util.Set<proguard.dexfile.ir.ts.array.FillArrayTransformer.ArrayObjectValue>	markUsed(java.util.Collection<proguard.dexfile.ir.ts.array.FillArrayTransformer.ArrayObjectValue> values)
boolean	transformReportChanged(IrMethod method)

Methods inherited from class proguard.dexfile.ir.ts.StatedTransformer

transform

Methods inherited from class java.lang.Object

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

Constructor Detail

FillArrayTransformer

public FillArrayTransformer()

Method Detail

main

public static void main(java.lang.String... args)

transformReportChanged

public boolean transformReportChanged(IrMethod method)

Specified by:

transformReportChanged in class StatedTransformer

markUsed

protected java.util.Set<proguard.dexfile.ir.ts.array.FillArrayTransformer.ArrayObjectValue> markUsed(java.util.Collection<proguard.dexfile.ir.ts.array.FillArrayTransformer.ArrayObjectValue> values)