[Wala-wala] Wala SSA

[Soha H]

Hi,

I am wondering if there exits any references of how Wala SSA is generated for the Java bytecode, and whether there is any formalization for it. I looked at the publication on the Wiki page but couldn’t spot out publications that describe that. Would be great if there is any reference of how this is done.

Thank you!

Soha

_______________________________________________
Wala-wala mailing list
Wala...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/wala-wala

[Manu Sridharan]

Hi Soha,

The best / only documentation I know of is on the wiki:

https://github.com/wala/WALA/wiki/Intermediate-Representation-(IR)

That doesn't really document how IR is generated, though, and there is no formalization.  If you have a specific question we can try to get it answered, though.  Let us know.

--Manu

[Soha H]

Thanks Manu, I have really no specific question. We are building some IR on top of Wala and we wanted to prove correctness of what we are doing by showing that the semantics has not changed from the Java bytecode. So a building block would be to formalize the translation from java bytecode to obtain Wala IR. I will see how we can handle that, may be I will end up formalizing that, in which case, I will have more specific questions :) 

Thank you for your prompt reply!

Soha