[Soot-list] Re: Jimple

[Nicolas Baerts]

Hello,

We don't know if that can help you, but we rewrote the syntax of Jimple
(the version described in jimple.scc found in soot 2.1.0) using other
conventions to make it compatible with our needs.

You can download it on http://ece.fsa.ucl.ac.be/homepages/nbaerts/jimple/

Nicolas Baerts &
Maxime Van de Reyd


Prof. Laurie HENDREN wrote:

>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
>>=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
>>
>>
>>
>>
>>    
>>
>
>_______________________________________________
>Soot-list mailing list
>Soot-list at sable.mcgill.ca
>http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>  
>