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

[Pierre Caserta]

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
>