[Soot-list] cha, rta: ok but vta fails

[Pierre Caserta]

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
>