[Soot-list] Relaxing Semantic rules for Java?

[Marc-Andre Laverdiere-Papineau]

On 07/12/2012 07:35 AM, Eric Bodden wrote:
> Hello.
>
>> If working from .class files compiled with debug options, can soot get
>> this information as well?
>
> Yes that should work.
>
>> Otherwise, is there an option to choose the compliance level / Java
>> version in soot?
>
> As of now not yet - we never hit this problem. But it should be easy
> to add such a flag. Does anyone know if there are any other
> source-level changes between Java 5 and 6?
>
> Eric
>
I saw that JastAddJ has a variant for Java 7. Is that what we are using 
in Soot?
Is the semantic analysis done in the front-end or done in Soot?
If the former, then we could allow the user to switch between Java 4, 
Java 5 and Java 7 front-ends and leave it at that...

-- 
Marc-André Laverdière-Papineau
Étudiant au doctorat - PhD Student