[Soot-list] Compile Jedd to non-bdd version

[Khilan Gudka]

Hi all

Is it possible to compile jedd code to a non-bdd version? So that I could
use the resulting code with Spark? I'm using the BDD Escape Analysis but
don't really need the context-sensitivity anymore. Or would I need to
re-implement this analysis for Spark?

Thanks

--
Khilan Gudka
PhD Student
Department of Computing
Imperial College London
http://www.doc.ic.ac.uk/~khilan/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120117/85a1dd39/attachment.html