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 com.googlecode.aviator.asm.util.CheckClassAdapter

        className = "Script_" + System.currentTimeMillis() + "_" + CLASS_COUNTER.getAndIncrement();
        // Auto compute frames
        classWriter = new ClassWriter(ClassWriter.COMPUTE_FRAMES);
        if (trace) {
            traceClassVisitor = new TraceClassVisitor(classWriter, new PrintWriter(System.out));
            checkClassAdapter = new CheckClassAdapter(traceClassVisitor);
        }
        else {
            checkClassAdapter = new CheckClassAdapter(classWriter);
        }
        makeConstructor();
        startVisitMethodCode();
    }

View Full Code Here

Examples of nginx.clojure.asm.util.CheckClassAdapter

    }


    static byte[] instrumentClass(MethodDatabase db, byte[] data, boolean check) {
        ClassReader r = new ClassReader(data);
        ClassWriter cw = new DBClassWriter(db, r);
        ClassVisitor cv = check ? new CheckClassAdapter(cw) : cw;
        ClassEntry ce = MethodDatabaseUtil.buildClassEntryFamily(db, r);
        if(db.shouldIgnore(r.getClassName())) {
            return null;
        }
        db.trace("TRANSFORM: %s", r.getClassName());

View Full Code Here

Examples of org.deuce.objectweb.asm.util.CheckClassAdapter

    String print = System.getProperty("bytecodePrint", "false");
    if(Boolean.parseBoolean(print)){
      ClassReader cr3 = new ClassReader(((ClassWriter)cv).toByteArray());
      ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS);
      PrintWriter writer = new PrintWriter(System.out);
      CheckClassAdapter cv = new CheckClassAdapter(cw);
      TraceClassVisitor tcv = new TraceClassVisitor(cv, writer );
      cr3.accept(tcv, ClassReader.EXPAND_FRAMES);
      byte[] newFile = cw.toByteArray();
      return newFile;
    }

View Full Code Here

Examples of org.deuce.objectweb.asm.util.CheckClassAdapter

    cw.visitEnd();
    //Test Generated Class
    ClassReader cr3 = new ClassReader(cw.toByteArray());
    ClassWriter cw1 = new ClassWriter(ClassWriter.COMPUTE_MAXS);
    PrintWriter writer = new PrintWriter(System.out);
    CheckClassAdapter cv = new CheckClassAdapter(cw);
    TraceClassVisitor tcv = new TraceClassVisitor(cv, writer );
    cr3.accept(tcv, ClassReader.EXPAND_FRAMES);
    return cw1.toByteArray();    
  }

View Full Code Here

Examples of org.deuce.objectweb.asm.util.CheckClassAdapter

    cw.visitEnd();
    //Test Generated Class
    ClassReader cr3 = new ClassReader(cw.toByteArray());
    ClassWriter cw1 = new ClassWriter(ClassWriter.COMPUTE_MAXS);
    PrintWriter writer = new PrintWriter(System.out);
    CheckClassAdapter cv = new CheckClassAdapter(cw);
    TraceClassVisitor tcv = new TraceClassVisitor(cv, writer );
    cr3.accept(tcv, ClassReader.EXPAND_FRAMES);
    return cw1.toByteArray();    
  }

View Full Code Here

Examples of org.objectweb.asm.util.CheckClassAdapter

 */
public class AddTimerAdapterTest extends AbstractTestCase {


  public void test() throws Exception {
    ClassWriter cw = new ClassWriter(0);
    CheckClassAdapter ca = new CheckClassAdapter(cw);
    ClassVisitor cv = getClassAdapter(ca);
    generateBasicClass(cv);
    checkClass(defineClass("C", cw.toByteArray()));
  }

View Full Code Here

Examples of org.objectweb.asm.util.CheckClassAdapter


  private Object[] args;


  public void test() throws Throwable {
    ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS);
    CheckClassAdapter ca = new CheckClassAdapter(cw);
    ProxyGenerator pg = new ProxyGenerator(Comparable.class);
    pg.generate(Type.getType("LC;"), ca);


    InvocationHandler handler = new InvocationHandler() {
      public Object invoke(Object proxy, Method method, Object[] args)

View Full Code Here

Examples of org.objectweb.asm.util.CheckClassAdapter

    fields.put("f5", Type.getType("Ljava/lang/String;"));
    fields.put("f6", Type.getType("[I"));
    BeanGenerator3 bg = new BeanGenerator3("MyBean", fields);


    ClassWriter cw = new ClassWriter(0);
    CheckClassAdapter ca = new CheckClassAdapter(cw);
    bg.generate(ca);


    Class c = defineClass("MyBean", cw.toByteArray());
    checkClass(c);
  }

View Full Code Here

Examples of org.objectweb.asm.util.CheckClassAdapter

 */
public class AddMethodTransformerTest extends AddMethodAdapterTest {


  public void test() throws Exception {
    ClassWriter cw = new ClassWriter(0);
    CheckClassAdapter ca = new CheckClassAdapter(cw);
    ClassNode cn = generateBasicClass();
    new AddMethodTransformer(null).transform(cn);
    cn.accept(ca);
    checkClass(defineClass("C", cw.toByteArray()));
  }

View Full Code Here

Examples of org.objectweb.asm.util.CheckClassAdapter

 */
public class RemoveFieldTransformerTest extends RemoveFieldAdapterTest {


  public void test() throws Exception {
    ClassWriter cw = new ClassWriter(0);
    CheckClassAdapter ca = new CheckClassAdapter(cw);
    ClassNode cn = generateBasicClass();
    new RemoveFieldTransformer(null, "f").transform(cn);
    cn.accept(ca);
    checkClass(defineClass("C", cw.toByteArray()));
  }

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.