[Soot-list] Some variable names retained, and some not

[Dhriti Khanna]

Yes, I have this option enabled. Also, I have checked the box to 'Add
variable attributes to generated class files (used by the debugger)' in
eclipse. This is identical to the -g option with javac so as to have the
debugging information enabled.

On Tue, Oct 1, 2019 at 5:46 PM Eric Bodden <eric.bodden at uni-paderborn.de>
wrote:

> Hi Dhriti.
>
> This looks a bit odd. Just to make sure. Do you have the option "-p jb
> use-original-names:true” enabled?
>
> Cheers
> Eric
>
> > On 30. Sep 2019, at 14:23, Dhriti Khanna <dhritik at iiitd.ac.in> wrote:
> >
> > Hello,
> > When I generate jimple file for the following code:
> >
> > class Point {
> >   int p;
> > }
> >
> > class Example {
> >   int a;
> >   String b;
> >   Point point;
> >   Example() {
> >
> >   }
> >   Example(int a) {
> >   this.a = a;
> >   }
> > }
> >
> > class Sample {
> >   LinkedList<Example> allocationQueue;
> >   Sample() {
> >     allocationQueue = new LinkedList<Example>();
> >   }
> >   public void func(int a) throws InterruptedException {
> >     int x;
> >     x = a+10;
> >     allocationQueue = new LinkedList<Example>();
> >     Example example = new Example();
> >     example.point = new Point();
> >     Point p = example.point;
> >     System.out.println(example);
> >   }
> > }
> >
> > Why is it that some variable names are retained like Point 'p', and some
> not? In this case, 'example' is not retained. It is instead replaced with
> $stack6 as you can see in the jimple file attached.
> >
> > --
> > Regards
> > Dhriti Khanna
> > PhD Scholar
> > IIIT Delhi
> > <Sample.jimple>_______________________________________________
> > Soot-list mailing list
> > Soot-list at CS.McGill.CA
> > https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>
>

-- 
Regards
Dhriti Khanna
PhD Scholar
IIIT Delhi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20191003/ae1874d5/attachment.html>