WALA VS. SOOT (Public static field initialization)

walaVSsoot1.md

JAVA SOURCE CODE

public final class R {
     public static final class style {
            public static final int AppBaseTheme=0x7f050000;
            public static final int AppTheme=0x7f050001;
        }
 }
 

---

JIMPLE FROM WALA SOURCE CODE FRONT END

public class de.ecspride.R$style extends java.lang.Object
{
    public static final int AppBaseTheme;
    public static final int AppTheme;

    void <init>()
    {
        de.ecspride.R$style r0;
        java.lang.Object $r1;
        r0 := @this: de.ecspride.R$style;
        specialinvoke $r1.<java.lang.Object: void <init>()>();
        return;
    }

    static void <clinit>()
    {
        <de.ecspride.R$style: int AppBaseTheme> = 2131034112;
        <de.ecspride.R$style: int AppTheme> = 2131034113;
        return;
    }
}

---

JIMPLE FROM SOOT BYTE CODE FRONT END

public final class de.ecspride.R$style extends java.lang.Object
{
    public static final int AppBaseTheme;
    public static final int AppTheme;

    public void <init>()
    {
        de.ecspride.R$style $r0;
        $r0 := @this: de.ecspride.R$style;
        specialinvoke $r0.<java.lang.Object: void <init>()>();
        return;
    }
}

This is nice. It shows @linghuiluo's WALA IR converter helping us find issues in WALA or Soot by revealing differences in what the IR looks like.