Examples of org.apache.bcel.verifier.Verifier

org.apache.bcel.verifier.Verifier
A Verifier instance is there to verify a class file according to The Java Virtual Machine Specification, 2nd Edition. Pass-3b-verification includes pass-3a-verification; pass-3a-verification includes pass-2-verification; pass-2-verification includes pass-1-verification. A Verifier creates PassVerifier instances to perform the actual verification. Verifier instances are usually generated by the VerifierFactory. @version $Id: Verifier.java 386056 2006-03-15 11:31:56Z tcurdt $ @author Enver Haase @see org.apache.bcel.verifier.VerifierFactory @see org.apache.bcel.verifier.PassVerifier

     */
    private boolean verifyBCEL(ClassFile file) {
        try {
            
            // construct verifier for class file
            Verifier verifier = VerifierFactory.getVerifier(file.getName());
            
            // run validation in stages with error handling for each stage
            boolean verified = false;
            VerificationResult vr = verifier.doPass1();
            if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
                vr = verifier.doPass2();
                if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
                    Method[] methods = file.getRawClass().getMethods();
                    for (int j = 0; j < methods.length; j++) {
                        vr = verifier.doPass3a(j);
                        if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
                            vr = verifier.doPass3b(j);
                        }
                        if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
                            verified = true;
                        } else {
                            System.out.println

View Full Code Here

      throw new RuntimeException( "nothing to verify" );


    JavaClass jc = clGen.getJavaClass();
    Repository.addClass( jc );


    Verifier v = VerifierFactory.getVerifier( jc.getClassName() );
    checkVerificationResult(v.doPass1(), "1");
    checkVerificationResult(v.doPass2(), "2");
    MethodWeaver methodWeavers[] = new MethodWeaver[methods.size()];
    methods.values().toArray( methodWeavers );
    for( int i = 0; i < methods.size(); i++ ) {
      int method_index = methodWeavers[i].targetIndex;
      checkVerificationResult(v.doPass3a(method_index), "3a");
      checkVerificationResult(v.doPass3b(method_index), "3b");
    }


    try {
      String[] warnings = v.getMessages();
      if (warnings.length != 0)
        System.err.println("Messages:");
      for (int j = 0; j < warnings.length; j++)
        System.err.println(warnings[j]);
    } catch(Exception e) { System.err.println("could not verify " + targetClass); }

View Full Code Here

      throw new RuntimeException( "nothing to verify" );


    JavaClass jc = clGen.getJavaClass();
    Repository.addClass( jc );


    Verifier v = VerifierFactory.getVerifier( jc.getClassName() );
    checkVerificationResult(v.doPass1(), "1");
    checkVerificationResult(v.doPass2(), "2");
    MethodWeaver methodWeavers[] = new MethodWeaver[methods.size()];
    methods.values().toArray( methodWeavers );
    for( int i = 0; i < methods.size(); i++ ) {
      int method_index = methodWeavers[i].getTargetIndex();
      checkVerificationResult(v.doPass3a(method_index), "3a");
      checkVerificationResult(v.doPass3b(method_index), "3b");
    }


    try {
      String[] warnings = v.getMessages();
      if (warnings.length != 0)
        System.err.println("Messages:");
      for (int j = 0; j < warnings.length; j++)
        System.err.println(warnings[j]);
    } catch(Exception e) {System.err.println("could not verify " + targetClass);}

View Full Code Here

   * The referenced class is loaded and pass2-verified.
   */
  public void visitLoadClass(LoadClass o){
    ObjectType t = o.getLoadClassType(cpg);
    if (t != null){// null means "no class is loaded"
      Verifier v = VerifierFactory.getVerifier(t.getClassName());
      VerificationResult vr = v.doPass2();
      if (vr.getStatus() != VerificationResult.VERIFIED_OK){
        constraintViolated((Instruction) o, "Class '"+o.getLoadClassType(cpg).getClassName()+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }
  }

View Full Code Here

      }
      // the o.getClassType(cpg) type has passed pass 2; see visitLoadClass(o).
      Type t = o.getType(cpg);
      if (t instanceof ObjectType){
        String name = ((ObjectType)t).getClassName();
        Verifier v = VerifierFactory.getVerifier( name );
        VerificationResult vr = v.doPass2();
        if (vr.getStatus() != VerificationResult.VERIFIED_OK){
          constraintViolated((Instruction) o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
        }
      }
   }

View Full Code Here

    // the o.getClassType(cpg) type has passed pass 2; see visitLoadClass(o).


    Type t = o.getType(cpg);
    if (t instanceof ObjectType){
      String name = ((ObjectType)t).getClassName();
      Verifier v = VerifierFactory.getVerifier( name );
      VerificationResult vr = v.doPass2();
      if (vr.getStatus() != VerificationResult.VERIFIED_OK){
        constraintViolated((Instruction) o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }

View Full Code Here

    // the o.getClassType(cpg) type has passed pass 2; see visitLoadClass(o).


    Type t = o.getType(cpg);
    if (t instanceof ObjectType){
      String name = ((ObjectType)t).getClassName();
      Verifier v = VerifierFactory.getVerifier( name );
      VerificationResult vr = v.doPass2();
      if (vr.getStatus() != VerificationResult.VERIFIED_OK){
        constraintViolated((Instruction) o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }

View Full Code Here

    // Method is not native, otherwise pass 3 would not happen.
    
    Type t = o.getType(cpg);
    if (t instanceof ObjectType){
      String name = ((ObjectType)t).getClassName();
      Verifier v = VerifierFactory.getVerifier( name );
      VerificationResult vr = v.doPass2();
      if (vr.getStatus() != VerificationResult.VERIFIED_OK){
        constraintViolated((Instruction) o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }

View Full Code Here

    // the o.getClassType(cpg) type has passed pass 2; see visitLoadClass(o).


    Type t = o.getType(cpg);
    if (t instanceof ObjectType){
      String name = ((ObjectType)t).getClassName();
      Verifier v = VerifierFactory.getVerifier( name );
      VerificationResult vr = v.doPass2();
      if (vr.getStatus() != VerificationResult.VERIFIED_OK){
        constraintViolated((Instruction) o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }

View Full Code Here

     * The referenced class is loaded and pass2-verified.
     */
    public void visitLoadClass(LoadClass o){
      ObjectType t = o.getLoadClassType(cpg);
      if (t != null){// null means "no class is loaded"
        Verifier v = VerifierFactory.getVerifier(t.getClassName());
        VerificationResult vr = v.doPass1();
        if (vr.getStatus() != VerificationResult.VERIFIED_OK){
          constraintViolated((Instruction) o, "Class '"+o.getLoadClassType(cpg).getClassName()+"' is referenced, but cannot be loaded: '"+vr+"'.");
        }
      }
    }

View Full Code Here

0 1 2 3

TOP

Related Classes of org.apache.bcel.verifier.Verifier

ch.ethz.inf.iks.jvmai.jvmdi.HotSwapAdvancedClassWeaver

ch.ethz.inf.iks.jvmai.jvmdi.HotSwapSimpleClassWeaver

org.apache.bcel.classfile.JavaClass

org.apache.bcel.verifier.statics.Pass1Verifier

org.apache.bcel.verifier.statics.Pass2Verifier

org.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor

org.apache.bcel.verifier.statics.Pass3aVerifier

org.apache.bcel.verifier.statics.Pass3aVerifier$InstOperandConstraintVisitor

org.apache.bcel.verifier.structurals.InstConstraintVisitor

org.apache.bcel.verifier.structurals.Pass3bVerifier

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.