[Soot-list] Documentation of Jimple IR?

[David Mohr]

Thank you Khilan and Eric, that's very helpful. The grammar is pretty
much what I was looking for.

~David

On Thu, Sep 10, 2009 at 2:20 AM, Eric Bodden
<bodden at st.informatik.tu-darmstadt.de> wrote:
> Ah, excellent. Thanks for the hint. I don't think that anything ever
> changed in the grammar. Having a stable IR is one of the main features
> of Soot, after all.
>
> Eric
>
> 2009/9/10 Khilan Gudka <khilan at doc.ic.ac.uk>:
>> Hi David,
>>
>> You can also find the grammar in this thesis (pages 24-25):
>>
>> http://www.sable.mcgill.ca/publications/thesis/masters-kor/sable-thesis-2000-masters-kor.ps
>>
>> Eric, is the grammar in this thesis outdated or still current?
>>
>> --
>> Khilan Gudka
>> PhD Student
>> Department of Computing
>> Imperial College London
>> http://www.doc.ic.ac.uk/~khilan/
>>
>> On 10 Sep 2009, at 08:05, Eric Bodden wrote:
>>
>>> Hi David.
>>>
>>> The PLDI tutorial may be helpful (it's on the bottom of our turorials
>>> side).
>>> I also sometimes look at the Jimple grammar to see what kind of
>>> statements exist:
>>> https://svn.sable.mcgill.ca/soot/soot/trunk/src/jimple.scc
>>>
>>> Also it's a good idea to just convert a few sample classes into Jimple
>>> (soot.Main -f J) to see what kind of Jimple code Soot generates.
>>>
>>> Eric
>>>
>>> 2009/9/10 David Mohr <dmohr at cs.unm.edu>:
>>>>
>>>> Hi,
>>>> is there a comprehensive description of Jimple available somewhere? I
>>>> looked at the original Soot paper, and it has a motivation, and a
>>>> brief overall description, but not any details on i.e. what are the
>>>> operations which are used in Jimple. The API docs are helpful, but if
>>>> there's some other document to look at, I'd appreciate a pointer to
>>>> it.
>>>>
>>>> Thanks,
>>>> ~David
>>>> _______________________________________________
>>>> Soot-list mailing list
>>>> Soot-list at sable.mcgill.ca
>>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>>
>>>
>>>
>>>
>>> --
>>> Eric Bodden
>>> Software Technology Group, Technische Universität Darmstadt, Germany
>>> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
>>> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>>
>
>
>
> --
> Eric Bodden
> Software Technology Group, Technische Universität Darmstadt, Germany
> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>