Analyzer for testing code flow correctness
Marcin Rzeźnicki <[email protected]>
| Newsgroups | gmane.comp.java.objectweb.asm |
|---|---|
| Message-ID | <[email protected]> |
Hi, Recently I've discovered I need better test system for my Coroutines project. Up till now I've been loading transformed classes and simply tried to run modified methods to see whether I ended up with a VerifierError or not. It would be better if I could discover transformation mistakes during transformation itself and react accordingly on the spot, but I could not find anything in ASM that would detect all possible transformation errors - wrong stack maps, incompatible operands/local types - basically, everything that java verifier does. Hence the question, is there anything in ASM that can go through generated byte code and do the complete verification, so that - if finished without error - I could be certain that java verifier won't oppose? I'm only interested in Java 6 code. Thanks in advance -- Greetings Marcin Rzeźnicki
message-footer.txt
(text/plain, 238 B)
-- You receive this message as a subscriber of the [email protected] mailing list. To unsubscribe: mailto:[email protected] For general help: mailto:[email protected]?subject=help OW2 mailing lists service home page: http://www.ow2.org/wws