Examples of CheckClassAdapter

com.googlecode.aviator.asm.util.CheckClassAdapter
A {@link ClassAdapter} that checks that its methods are properly used. Moreprecisely this class adapter checks each method call individually, based only on its arguments, but does not check the sequence of method calls. For example, the invalid sequence visitField(ACC_PUBLIC, "i", "I", null) visitField(ACC_PUBLIC, "i", "D", null) will not be detected by this class adapter. @author Eric Bruneton
nginx.clojure.asm.util.CheckClassAdapter
bytes for the source class ClassReader cr = new ClassReader(is); ClassWriter cw = new ClassWriter(cr, ClassWriter.COMPUTE_MAXS); ClassVisitor cv = new MyClassAdapter(new CheckClassAdapter(cw)); cr.accept(cv, 0); StringWriter sw = new StringWriter(); PrintWriter pw = new PrintWriter(sw); CheckClassAdapter.verify(new ClassReader(cw.toByteArray()), false, pw); assertTrue(sw.toString(), sw.toString().length()==0); Above code runs transformed bytecode trough the CheckClassAdapter. It won't be exactly the same verification as JVM does, but it run data flow analysis for the code of each method and checks that expectations are met for each method instruction.
If method bytecode has errors, assertion text will show the erroneous instruction number and dump of the failed method with information about locals and stack slot for each instruction. For example (format is - insnNumber locals : stack):
```
 nginx.clojure.asm.tree.analysis.AnalyzerException: Error at instruction 71: Expected I, but found . at nginx.clojure.asm.tree.analysis.Analyzer.analyze(Analyzer.java:289) at nginx.clojure.asm.util.CheckClassAdapter.verify(CheckClassAdapter.java:135) ... remove()V 00000 LinkedBlockingQueue$Itr . . . . . . . .  : ICONST_0 00001 LinkedBlockingQueue$Itr . . . . . . . .  : I ISTORE 2 00001 LinkedBlockingQueue$Itr . I . . . . . .  : ... 00071 LinkedBlockingQueue$Itr . I . . . . . .  : ILOAD 1 00072 ? INVOKESPECIAL java/lang/Integer. (I)V ... 
```
In the above output you can see that variable 1 loaded by ILOAD 1 instruction at position 00071 is not initialized. You can also see that at the beginning of the method (code inserted by the transformation) variable 2 is initialized.
Note that when used like that, CheckClassAdapter.verify() can trigger additional class loading, because it is using SimpleVerifier. @author Eric Bruneton
org.deuce.objectweb.asm.util.CheckClassAdapter
bytes for the source class ClassReader cr = new ClassReader(is); ClassWriter cw = new ClassWriter(cr, ClassWriter.COMPUTE_MAXS); ClassVisitor cv = new MyClassAdapter(new CheckClassAdapter(cw)); cr.accept(cv, 0); StringWriter sw = new StringWriter(); PrintWriter pw = new PrintWriter(sw); CheckClassAdapter.verify(new ClassReader(cw.toByteArray()), false, pw); assertTrue(sw.toString(), sw.toString().length()==0); Above code runs transformed bytecode trough the CheckClassAdapter. It won't be exactly the same verification as JVM does, but it run data flow analysis for the code of each method and checks that expectations are met for each method instruction.
If method bytecode has errors, assertion text will show the erroneous instruction number and dump of the failed method with information about locals and stack slot for each instruction. For example (format is - insnNumber locals : stack):
```
 org.deuce.objectweb.asm.tree.analysis.AnalyzerException: Error at instruction 71: Expected I, but found . at org.deuce.objectweb.asm.tree.analysis.Analyzer.analyze(Analyzer.java:289) at org.deuce.objectweb.asm.util.CheckClassAdapter.verify(CheckClassAdapter.java:135) ... remove()V 00000 LinkedBlockingQueue$Itr . . . . . . . .  : ICONST_0 00001 LinkedBlockingQueue$Itr . . . . . . . .  : I ISTORE 2 00001 LinkedBlockingQueue$Itr . I . . . . . .  : ... 00071 LinkedBlockingQueue$Itr . I . . . . . .  :  ILOAD 1 00072 ?                 INVOKESPECIAL java/lang/Integer. (I)V ... 
```
In the above output you can see that variable 1 loaded by ILOAD 1 instruction at position 00071 is not initialized. You can also see that at the beginning of the method (code inserted by the transformation) variable 2 is initialized.
Note that when used like that, CheckClassAdapter.verify() can trigger additional class loading, because it is using SimpleVerifier. @author Eric Bruneton
org.objectweb.asm.util.CheckClassAdapter
A {@link ClassAdapter ClassAdapter} that checks that its methods are properlyused. More precisely this class adapter checks each method call individually, based only on its arguments, but does not check the sequence of method calls. For example, the invalid sequence visitField(ACC_PUBLIC, "i", "I", null) visitField(ACC_PUBLIC, "i", "D", null) will not be detected by this class adapter. @author Eric Bruneton
org.ow2.easybeans.asm.util.CheckClassAdapter
This class manages the injection. @author Florent Benoit

Examples of org.ow2.easybeans.asm.util.CheckClassAdapter

     * @throws AnalyzerException if class is incorrect.
     */
    public static void checkClass(final byte[] bytes) throws AnalyzerException {
        ClassReader cr = new ClassReader(bytes);
        ClassNode cn = new ClassNode();
        cr.accept(new CheckClassAdapter(cn), ClassReader.SKIP_DEBUG);
        List methods = cn.methods;
        for (int i = 0; i < methods.size(); ++i) {
            MethodNode method = (MethodNode) methods.get(i);
            if (method.instructions.size() > 0) {
                Analyzer a = new Analyzer(new SimpleVerifier(Type.getType("L" + cn.name + ";"), Type.getType("L" + cn.superName

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.