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

    // 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(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(o, "Class '"+name+"' is referenced, but cannot be loaded and resolved: '"+vr+"'.");
      }
    }

View Full Code Here

     */
    @Override
        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

      Type t = o.getReturnType(cpg);
      if (t instanceof ArrayType){
        t = ((ArrayType) t).getBasicType();
      }
      if (t instanceof ObjectType){
        Verifier v = VerifierFactory.getVerifier(((ObjectType) t).getClassName());
        VerificationResult vr = v.doPass2();
        if (vr.getStatus() != VerificationResult.VERIFIED_OK){
          constraintViolated(o, "Return type class/interface could not be verified successfully: '"+vr.getMessage()+"'.");
        }
      }
      
      Type[] ts = o.getArgumentTypes(cpg);
      for (int i=0; i<ts.length; i++){
        t = ts[i];
        if (t instanceof ArrayType){
          t = ((ArrayType) t).getBasicType();
        }
        if (t instanceof ObjectType){
          Verifier v = VerifierFactory.getVerifier(((ObjectType) t).getClassName());
          VerificationResult vr = v.doPass2();
          if (vr.getStatus() != VerificationResult.VERIFIED_OK){
            constraintViolated(o, "Argument type class/interface could not be verified successfully: '"+vr.getMessage()+"'.");
          }
        }
      }

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.