I am thinking of writing a J2ME CLDC preverifier using BCEL. It appears that most of the functionality is already in BCEL. JustICE, implementing Pass 3b of the verification process, already generates all the information necessary for producing StackMap. It should be relatively easy to modify the do_Verify() in Pass3bVerifier.java to actually generate StackMap attributes after calling circulationPump().
Does this sounds like a plausible plan? Am I missing something? Is there any missing functionality in JustICE that I should be aware of? Has anyone already done this? Thanks, Stephen --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
