<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">I use Java 1.7's rt.jar on classpath.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Oct 7, 2019 at 9:28 PM Eric Bodden <<a href="mailto:eric.bodden@uni-paderborn.de" target="_blank">eric.bodden@uni-paderborn.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Sorry about the slow response.<br>
<br>
When you write that it work with JDK-1.7 and soot-2.5.0, do you mean that you use Java 1.7 to run Soot or that you use Java 1.7’s rt.jar on Soot’s classpath?<br>
<br>
Best wishes<br>
Eric<br>
<br>
> On 3. Oct 2019, at 22:11, Dhriti Khanna <<a href="mailto:dhritik@iiitd.ac.in" target="_blank">dhritik@iiitd.ac.in</a>> wrote:<br>
> <br>
> By the way, it is working fine with JDK-1.7 and soot-2.5.0.<br>
> It is when I use JDK-1.8 and soot-3.3.0, then it causes the above-mentioned issue.<br>
> Is it a bug or some optimization being done?<br>
> <br>
> On Thu, Oct 3, 2019 at 2:08 PM Dhriti Khanna <<a href="mailto:dhritik@iiitd.ac.in" target="_blank">dhritik@iiitd.ac.in</a>> wrote:<br>
> I have also tried compiling the file with -g on command line and then running soot via command line with this command:<br>
> <br>
> java -cp ~/soot-3.3.0/target/sootclasses-trunk-jar-with-dependencies.jar soot.Main -src-prec java -p jb use-original-names:true -f J -cp .:/home/dhriti/jdk1.8.0_191/jre/lib/rt.jar Sample<br>
> <br>
> Still, the problem persists.<br>
> <br>
> On Thu, Oct 3, 2019 at 1:39 PM Dhriti Khanna <<a href="mailto:dhritik@iiitd.ac.in" target="_blank">dhritik@iiitd.ac.in</a>> wrote:<br>
> 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. <br>
> <br>
> On Tue, Oct 1, 2019 at 5:46 PM Eric Bodden <<a href="mailto:eric.bodden@uni-paderborn.de" target="_blank">eric.bodden@uni-paderborn.de</a>> wrote:<br>
> Hi Dhriti.<br>
> <br>
> This looks a bit odd. Just to make sure. Do you have the option "-p jb use-original-names:true” enabled?<br>
> <br>
> Cheers<br>
> Eric<br>
> <br>
> > On 30. Sep 2019, at 14:23, Dhriti Khanna <<a href="mailto:dhritik@iiitd.ac.in" target="_blank">dhritik@iiitd.ac.in</a>> wrote:<br>
> > <br>
> > Hello,<br>
> > When I generate jimple file for the following code:<br>
> > <br>
> > class Point {<br>
> >   int p;<br>
> > }<br>
> > <br>
> > class Example {<br>
> >   int a;<br>
> >   String b;<br>
> >   Point point;<br>
> >   Example() {<br>
> > <br>
> >   }<br>
> >   Example(int a) {<br>
> >   this.a = a;<br>
> >   }<br>
> > }<br>
> > <br>
> > class Sample {<br>
> >   LinkedList<Example> allocationQueue;<br>
> >   Sample() {<br>
> >     allocationQueue = new LinkedList<Example>();<br>
> >   }<br>
> >   public void func(int a) throws InterruptedException {<br>
> >     int x;<br>
> >     x = a+10;<br>
> >     allocationQueue = new LinkedList<Example>();<br>
> >     Example example = new Example();<br>
> >     example.point = new Point();<br>
> >     Point p = example.point;<br>
> >     System.out.println(example);<br>
> >   }<br>
> > }<br>
> > <br>
> > 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.<br>
> > <br>
> > -- <br>
> > Regards<br>
> > Dhriti Khanna<br>
> > PhD Scholar<br>
> > IIIT Delhi<br>
> > <Sample.jimple>_______________________________________________<br>
> > Soot-list mailing list<br>
> > <a href="mailto:Soot-list@CS.McGill.CA" target="_blank">Soot-list@CS.McGill.CA</a><br>
> > <a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" rel="noreferrer" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
> <br>
> <br>
> <br>
> -- <br>
> Regards<br>
> Dhriti Khanna<br>
> PhD Scholar<br>
> IIIT Delhi<br>
> <br>
> <br>
> -- <br>
> Regards<br>
> Dhriti Khanna<br>
> PhD Scholar<br>
> IIIT Delhi<br>
> <br>
> <br>
> -- <br>
> Regards<br>
> Dhriti Khanna<br>
> PhD Scholar<br>
> IIIT Delhi<br>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">Regards</font><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">Dhriti Khanna</font></div><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">PhD Scholar</font></div><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">IIIT Delhi</font></div></div></div></div></div></div></div></div></div></div></div></div></div>