<div dir="ltr">Thanks!<div>You're right. It is a  bug with the Java source code frontend.   <br><div>when i run "java -cp sootclasses-trunk-jar-with-dependencies.jar  soot.tools.CFGViewer --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar --graph=BriefBlockGraph    Triangle " twice .</div></div><div><div>OS: window10</div><div>Java 7</div><div>Soot 3.0.1</div></div><div><br></div><div>The first loaded 

Triangle.java,  the 2nd loaded 

Triangle.class.  The different results (Triangle_java.dot and Triangle_calss.dot ) are generated.</div><div><br></div><div> Triangle_calss.dot  is visualized as Triangle_class.png, which is reasonable.<br></div><div> And

 Triangle_java.dot  is visualized as Triangle_java.png, 

which looks wrong:</div><div>              1. it remains the original name .</div><div style="text-align:justify">              2. There are some nodes name "goto label**" which is not necessary and wrong.</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div>Variable is </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Eric Bodden <<a href="mailto:eric.bodden@uni-paderborn.de">eric.bodden@uni-paderborn.de</a>> 于2020年10月21日周三 下午11:10写道：<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hmm this is odd.<br>
<br>
I can confirm that the Jimple code does not get generated with original names although it should. I wonder if there is a more general bug with the Java source code frontend. It seems quite related to <a href="https://github.com/soot-oss/soot/issues/1262" rel="noreferrer" target="_blank">https://github.com/soot-oss/soot/issues/1262</a><br>
<br>
Let me follow up on that.<br>
<br>
Cheers<br>
Eric<br>
<br>
> On 21. Oct 2020, at 11:14, Enoch shi <<a href="mailto:enshengshi97@gmail.com" target="_blank">enshengshi97@gmail.com</a>> wrote:<br>
> <br>
>  I loaded  sootTest.Straight_line form a source-code   Thanks ---ensheng<br>
> <br>
> Eric Bodden <<a href="mailto:eric.bodden@uni-paderborn.de" target="_blank">eric.bodden@uni-paderborn.de</a>> 于2020年10月19日周一 下午6:50写道：<br>
> Hello.<br>
> <br>
> Are you loading sootTest.Straight_line form a source-code or bytecode file?<br>
> <br>
> Cheers<br>
> Eric<br>
> <br>
> > On 15. Oct 2020, at 16:40, Enoch shi <<a href="mailto:enshengshi97@gmail.com" target="_blank">enshengshi97@gmail.com</a>> wrote:<br>
> > <br>
> > HI Admin<br>
> >                 <br>
> >                     I used   use [java7 soot3.0.1] to generate CFG . It is a very nice tools.<br>
> >                     I want to use the original  variable names in CFG.  <br>
> >                     However,  It don't keep  original variable names in CFG when i add  "-p jb use-original-names:true".<br>
> > My environment is:<br>
> > OS: window10<br>
> > Java 7<br>
> > Soot 3.0.1<br>
> > cmd: java -cp sootclasses-trunk-jar-with-dependencies.jar  soot.tools.CFGViewer --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar --graph=BriefBlockGraph     sootTest.Straight_line<br>
> > <straight_line.dot.png><br>
> > i hope temp $2 is original variable names : perimeter <br>
> > <br>
> > Thanks<br>
> > ensheng <br>
> > <br>
> > <br>
> > <br>
> > <Straight_line.java><sootclasses-trunk-jar-with-dependencies.jar>_______________________________________________<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>
</blockquote></div>