[Soot-list] Generate output to jimple and bytecode

[Eric Bodden]

Yes, -validate catches some mistakes but not all.

The easiest way of checking the validity of your bytecode is loading
it into a VM, I guess.

Eric

2008/11/20 Mario Mendez-Lojo <mario at cs.unm.edu>:
> Given that this functionality is needed only when the bytecode is corrupted
> (invalid), do you know if there is any tool that can check the validity of a
> given .class file? In Soot you have the -validate flag, but it seems to me
> that  a valid Jimple program is not necessarily a valid bytecode program. If
> I'm not wrong, I was able to declare a local as of type void, which was
> rejected by the JVM at runtime.
>
> Eric Bodden wrote:
>>
>> Mario, to my best knowledge that's not currently supported. However,
>> you can easily convert a single class file to Jimple using Soot
>> afterwards.
>>
>> Eric
>>
>> 2008/11/20 Mario Mendez-Lojo <mario at cs.unm.edu>:
>>>
>>> Hi guys,
>>>
>>> Is there any way to force the output to be in both jimple and bytecode at
>>> the same time? Sometimes, I'll get the bytecode wrong, and just by
>>> looking
>>> at the Jimple I can figure out what is going on. But then I have to run
>>> Soot
>>> again!
>>>
>>> Thank you, guys.
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>
>>
>>
>>
>



-- 
Eric Bodden
Sable Research Group, McGill University, Montréal, Canada
Got an interesting job offer? http://www.bodden.de/hire-me/