<div dir="ltr">HI Admin<div>                </div><div><font face="arial, sans-serif">                    I used 

  use [java7 soot3.0.1] to generate CFG . It is a very nice tools.</font></div><div><font face="arial, sans-serif">                    I want to use the <span style="color:rgb(36,41,46);font-size:14px">original</span><span style="color:rgb(36,41,46);font-size:14px">  </span><span style="color:rgb(36,41,46);font-size:14px">variable names in CFG. </span></font> </div><div>                    However,  It don't keep <span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px"> </span><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">original variable names</span><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px"> in </span>CFG when i add  "<span style="font-family:"Microsoft YaHei";font-size:11pt">-p
jb use-original-names:true".</span></div><div><span style="font-family:"Microsoft YaHei";font-size:11pt">My environment is:</span></div><div>OS: window10</div><div>Java 7</div><div>Soot 3.0.1</div><div>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</div><div><div><img src="cid:ii_kgaxh8j52" alt="straight_line.dot.png" width="232" height="192"><br>i hope temp $2 is

original variable names : perimeter </div></div><div><br></div><div>Thanks</div><div>ensheng </div><div><font face="arial, sans-serif"><span style="color:rgb(36,41,46);font-size:14px"><br></span></font></div><div><br></div><div><br></div></div>