[Soot-list] all-reachable:true has no effect when using Paddle

[Khilan Gudka]

Hi,

It seems that paddle overrides the option all-reachable:true to cg. I 
loaded the following class into soot...

class A {
        void m() {
        }
}

class B extends A {
        @Override
        void m() {
        }
}

class ReachableMethodsTestDouble {
        A a;
        public void m() {
            a.m();
        }
}

...with the options:

-p cg implicit-entry:false,all-reachable:true -p cg.paddle 
conf:ofcg,context:kcfa,k:2 -f J -w

However, it doesn't treat ReachableMethodsTestDouble.m() as a possible 
entry point even though all-reachable is true.

If instead, I turn paddle off:

-p cg implicit-entry:false,all-reachable:true -f J -w

It does consider ReachableMethodsTestDouble.m() as a possible entry 
point and thus subsequently adds edges for the call a.m() to the call graph.

Could anyone please assist,

Thanks,
Khilan