[Soot-list] cha, rta: ok but vta fails
Pierre Caserta
pierre.caserta at loria.fr
Wed Jan 16 21:51:34 EST 2013
Thank you Eric, it works.
Now my code looks like this:
//my class extends SceneTransformer
//In my code I have this:
PackManager.v().getPack("wjtp").add(new Transform("wjtp.myTransform",this));
String[] args={"-w","-app","-soot-class-path",sootclasspath,"-p","cg.spark","vta:true","abcd.Main"};
soot.Main.main(args);
//And I implement the method:
protected void internalTransform(String arg0, Map arg1) {
cg = Scene.v().getCallGraph();
File f = new File(outputDir.getAbsolutePath()+"/test_cg_"+type+".txt");
try {
writeCallGraph(f.getAbsolutePath(), cg);
} catch (IOException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
}
Best,
Pierre
----- Mail original -----
> De: "Eric Bodden" <eric.bodden at ec-spride.de>
> À: "Pierre Caserta" <pierre.caserta at loria.fr>
> Cc: "Soot List" <soot-list at sable.mcgill.ca>
> Envoyé: Mardi 8 Janvier 2013 11:02:00
> Objet: Re: [Soot-list] cha, rta: ok but vta fails
>
> Hi Pierre.
>
> Try to remove *everything* from your main method except for:
>
> PackManager.v().getPack("wjtp").add(
> new Transform("wjtp.myTransform", new SceneTransformer() {
> protected void internalTransform(String phaseName, Map
> options) {
> //access call graph here with Scene.v().getCallGraph()
> }
> }));
>
> soot.Main.main(args);
>
> Then simply set all required options on the command line you use to
> call your main class. If you really do with to hard-code those then
> modify the "args" array you pass to Soot's main method.
>
> Eric
>
> On 7 January 2013 19:54, Pierre Caserta <pierre.caserta at loria.fr>
> wrote:
> > Hi Eric,
> > Thank you for your answer.
> >
> > To be able to explain correctly, I've written the code I have right
> > bellow.
> > Now my code look like this:
> >
> > soot.options.Options.v().set_keep_line_number(true);
> > soot.options.Options.v().allow_phantom_refs();
> > soot.options.Options.v().set_whole_program(true);
> > soot.options.Options.v().setPhaseOption("cg","verbose:true");
> > soot.options.Options.v().setPhaseOption("cg","safe-forname:false");
> > soot.options.Options.v().setPhaseOption("cg","safe-newinstance:false");
> >
> > Scene.v().setSootClassPath(myClassPath);
> >
> > //pseudo code for this example (just to get the idea)
> > for(all classes s) {
> > Scene.v().addBasicClass(s);
> > Scene.v().loadClassAndSupport(s);
> > }
> >
> > //pseudo code for this example (just to get the idea)
> > for(all jars j){
> > Scene.v().setSootClassPath(Scene.v().getSootClassPath() +
> > File.pathSeparator + j);
> > }
> >
> > Scene.v().loadNecessaryClasses();
> > Scene.v().loadBasicClasses();
> >
> > if( type.compareTo("cha") == 0 ){
> >
> > CHATransformer.v().transform();
> >
> > }else{
> > //When type="rta" OR type="vta"
> >
> > HashMap opt = new HashMap();
> > opt.put("on-fly-cg","false");
> > opt.put("vta","false");
> > opt.put("rta","false");
> >
> > opt.put( type ,"true");
> >
> > opt.put("enabled","true");
> > opt.put("propagator","worklist"); //worklist iter
> > none
> > opt.put("set-impl","double");
> > opt.put("double-set-old","hybrid");
> > opt.put("double-set-new","hybrid");
> > //SparkTransformer.v().transform("",opt);
> >
> > }
> >
> > //I'm not very confident about that
> > PackManager.v().getPack("wjtp").add(
> > new Transform("wjtp.myTransform", new SceneTransformer() {
> > protected void internalTransform(String phaseName, Map
> > options) {
> > System.err.println(Scene.v().getApplicationClasses());
> > }
> > }));
> > String[] mainClasses = {"abcd.Main"};
> > soot.Main.main(mainClasses);
> >
> > CallGraph cg = Scene.v().getCallGraph();
> >
> > ---------
> > If I remove the line: SparkTransformer.v().transform("",opt);
> > I obtain the same result with type="cha", type="rta" and
> > type="vta".
> >
> > So now that I've removed the line:
> > SparkTransformer.v().transform("",opt);
> > How do I specify that I want a call graph RTA or VTA ?
> >
> > ---------
> > If I left the line: SparkTransformer.v().transform("",opt);
> > I obtain:
> >
> > java.lang.NullPointerException
> > at
> > soot.SootMethod.getBodyFromMethodSource(SootMethod.java:82)
> > at soot.SootMethod.retrieveActiveBody(SootMethod.java:315)
> > at
> > soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:526)
> > at
> > soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:426)
> > at
> > soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:84)
> > at
> > soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:80)
> > at
> > soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:83)
> > at
> > soot.SceneTransformer.transform(SceneTransformer.java:39)
> > at
> > callgraph.BuildCG.setSparkPointsToAnalysis(BuildCG.java:256)
> > at callgraph.BuildCG.startAnalysis(BuildCG.java:185)
> > at callgraph.BuildCG.analyse(BuildCG.java:118)
> > at
> > callgraph.SootCallGraphGeneration.<init>(SootCallGraphGeneration.java:190)
> > at
> > callgraph.SootCallGraphGeneration.main(SootCallGraphGeneration.java:121)
> >
> > I think it is due to the soot.Main.main(mainClasses); instruction.
> > ---------
> >
> > Any idea?
> >
> > Best,
> > Pierre
> >
> > ----- Mail original -----
> >> De: "Eric Bodden" <eric.bodden at ec-spride.de>
> >> À: "Pierre Caserta" <pierre.caserta at loria.fr>
> >> Cc: "Soot List" <soot-list at sable.mcgill.ca>
> >> Envoyé: Jeudi 3 Janvier 2013 16:05:13
> >> Objet: Re: [Soot-list] cha, rta: ok but vta fails
> >>
> >> Hi Pierre.
> >>
> >> You are right, the result is incorrect. The question is why this
> >> is
> >> so. Looking at your code, it seems that you never call
> >> soot.Main.main(...). This may be an issue. My recommendation is to
> >> write code that:
> >>
> >> 1.) Sets arguments, as you do now.
> >> 2.) Inserts a SceneTransformer into the wjtp pack.
> >> 3.) Calls soot.Main.main(...) with your arguments.
> >>
> >> The SceneTransformer can then simply access the call graph via
> >> Scene.v().getCallGraph() - no call to
> >> SparkTransformer.v().transform("",opt) is necessary.
> >>
> >> Eric
> >>
> >> On 27 December 2012 11:47, Pierre Caserta
> >> <pierre.caserta at loria.fr>
> >> wrote:
> >> > I've clearly described my problem at this url:
> >> > http://www.loria.fr/~casertap/vta_problem.html
> >> >
> >> > Can someone help me please?
> >> > Best,
> >> > Pierre
> >> >
> >> > ----- Mail original -----
> >> >> De: "Pierre Caserta" <pierre.caserta at loria.fr>
> >> >> À: "Quentin Sabah" <quentin.sabah at inria.fr>
> >> >> Cc: "Soot List" <soot-list at sable.mcgill.ca>
> >> >> Envoyé: Lundi 24 Décembre 2012 14:31:49
> >> >> Objet: Re: [Soot-list] cha, rta: ok but vta fails
> >> >>
> >> >> Hi Quentin,
> >> >> Thank you for your reply.
> >> >>
> >> >> I changed a little bit my example to introduce a virtual call
> >> >> inside
> >> >> the method m but the vta analysis still does not work.
> >> >>
> >> >> I've updated my web page to include the new example with the
> >> >> resulting call graphs.
> >> >>
> >> >>
> >> >> ----- Mail original -----
> >> >> > De: "Quentin Sabah" <quentin.sabah at inria.fr>
> >> >> > À: "Soot List" <soot-list at sable.mcgill.ca>
> >> >> > Envoyé: Lundi 24 Décembre 2012 11:57:28
> >> >> > Objet: Re: [Soot-list] cha, rta: ok but vta fails
> >> >> >
> >> >> > Hi Pierre,
> >> >> >
> >> >> > > Hi everybody,
> >> >> > > I'm able to generate cha and rta call graphs but vta is not
> >> >> > > working.
> >> >> > >
> >> >> > > To clearly expose my problem, I created a web page:
> >> >> > >
> >> >> > > http://www.loria.fr/~casertap/vta_problem.html
> >> >> >
> >> >> > First, I'm not familiar with the VTA implementation in Soot.
> >> >> > What I can see is that virtual call edges to m(), and to
> >> >> > initializers, are missing in the VTA analysis result. I can
> >> >> > also
> >> >> > see
> >> >> > that these methods have an empty body.
> >> >> >
> >> >> > Would the VTA performs some kind of side-effect analysis and
> >> >> > deduce
> >> >> > these edges may be omitted? Or, because these methods provide
> >> >> > no
> >> >> > typing information at all, the VTA is not reporting them as
> >> >> > they
> >> >> > should be ?
> >> >> >
> >> >> > Have you the same kind of results when the methods are filled
> >> >> > with
> >> >> > useful statements ?
> >> >> >
> >> >> > --
> >> >> > Quentin Sabah, CIFRE Ph.D. student
> >> >> > Grenoble University
> >> >> > INRIA-SARDES | STMicroelectronics/AST
> >> >> > Montbonnot, France | Grenoble, France
> >> >> > mailto:quentin.sabah at inria.fr | mailto:quentin.sabah at st.com
> >> >> > phone: +33 476 61 52 42 | phone: +33 476 58 44 14
> >> >> >
> >> >> > _______________________________________________
> >> >> > Soot-list mailing list
> >> >> > Soot-list at sable.mcgill.ca
> >> >> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >> >> >
> >> >> _______________________________________________
> >> >> Soot-list mailing list
> >> >> Soot-list at sable.mcgill.ca
> >> >> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >> >>
> >> > _______________________________________________
> >> > Soot-list mailing list
> >> > Soot-list at sable.mcgill.ca
> >> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >>
> >>
> >>
> >> --
> >> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> >> Head of Secure Software Engineering Group at EC SPRIDE
> >> Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
> >> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> >>
>
>
>
> --
> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>
More information about the Soot-list
mailing list