[Soot-list] Re: Jimple

[Prof. Laurie HENDREN]

Yes, it is possible that Jimple has changed a bit over the years since
our original paper.  Certainly our Jimple parser in Soot defines what
Soot currently expects and uses.    Some changes have come about because
we added attributes.    Bandera also started a long time ago and may
use an older version of Jimple - I don't know what exactly they have
done.

Cheers, Laurie

ps. I am sending this to the soot-list, where you can also send queries ...
does anyone else have something to sday about Guy's question?


+-------------------------------------------------------------+
| Laurie Hendren, Professor, School of Computer Science       |
| McGill University                                           |
| 318 McConnell Engineering Building      tel: (514) 398-7391 |
| 3480 University Street                  fax: (514) 398-3883 |
| Montreal, Quebec H3A 2A7               hendren at cs.mcgill.ca |
| CANADA                  http://www.sable.mcgill.ca/~hendren |
+-------------------------------------------------------------+

On Mon, 8 Nov 2004, Guy Durrieu wrote:

>
>
> Hello,
>
> I am currently interested in connecting new verification tools to the
> Bandera environment through Jimple. I need a parser for that.
>
> When examining the syntax of Jimple, I found several differences
> between the sable parser (jimple.scc) found in the soot environment
> and the syntax you described in your paper "Jimple : Simplifying Java
> Bytecode for Analyses and Transformations".
>
> Ma question is : what is the "good" version of Jimple ? My feeling was
> that the good one is the sable version, but the Jimple programs
> obtained under Bandera are closer from the syntax described in your
> paper. So I am a bit puzzled. Does it exist a recent document giving
> the syntax of Jimple ?
>
> I apologize if you are not the right person for this question and I
> thank you in advance for your help.
>
> Regards.
>
> --Guy Durrieu.
>
> --
> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
> Guy DURRIEU  ONERA/TIS/DTIM                tel    (33) 05.62.25.26.59
> CERT, 2, avenue Edouard Belin  B.P. 4025   fax    (33) 05.62.25.25.93
> 31055 TOULOUSE CEDEX 4 FRANCE              e-mail Guy.Durrieu at cert.fr
> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
>
>
>
>