    View Javadoc
    1   package org.apache.bcel.verifier;
    2
    3   /* ====================================================================
    4    * The Apache Software License, Version 1.1
    5    *
    6    * Copyright (c) 2001 The Apache Software Foundation.  All rights
    7    * reserved.
    8    *
    9    * Redistribution and use in source and binary forms, with or without
    10   * modification, are permitted provided that the following conditions
    11   * are met:
    12   *
    13   * 1. Redistributions of source code must retain the above copyright
    14   *    notice, this list of conditions and the following disclaimer.
    15   *
    16   * 2. Redistributions in binary form must reproduce the above copyright
    17   *    notice, this list of conditions and the following disclaimer in
    18   *    the documentation and/or other materials provided with the
    19   *    distribution.
    20   *
    21   * 3. The end-user documentation included with the redistribution,
    22   *    if any, must include the following acknowledgment:
    23   *       "This product includes software developed by the
    24   *        Apache Software Foundation (http://www.apache.org/)."
    25   *    Alternately, this acknowledgment may appear in the software itself,
    26   *    if and wherever such third-party acknowledgments normally appear.
    27   *
    28   * 4. The names "Apache" and "Apache Software Foundation" and
    29   *    "Apache BCEL" must not be used to endorse or promote products
    30   *    derived from this software without prior written permission. For
    31   *    written permission, please contact apache@apache.org.
    32   *
    33   * 5. Products derived from this software may not be called "Apache",
    34   *    "Apache BCEL", nor may "Apache" appear in their name, without
    35   *    prior written permission of the Apache Software Foundation.
    36   *
    37   * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
    38   * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
    39   * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
    40   * DISCLAIMED.  IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR
    41   * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
    42   * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
    43   * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
    44   * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
    45   * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
    46   * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
    47   * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
    48   * SUCH DAMAGE.
    49   * ====================================================================
    50   *
    51   * This software consists of voluntary contributions made by many
    52   * individuals on behalf of the Apache Software Foundation.  For more
    53   * information on the Apache Software Foundation, please see
    54   * <http://www.apache.org/>;.
    55   */
    56
    57  import org.apache.bcel.verifier.*;
    58  import org.apache.bcel.classfile.*;
    59  import org.apache.bcel.*;
    60
    61  /***
    62   * This class has a main method implementing a demonstration program
    63   * of how to use the VerifierFactoryObserver. It transitively verifies
    64   * all class files encountered; this may take up a lot of time and,
    65   * more notably, memory.
    66   *
    67   * @version $Id: TransitiveHull.java,v 1.1.1.1 2001/10/29 20:00:31 jvanzyl Exp $
    68   * @author <A HREF="http://www.inf.fu-berlin.de/~ehaase"/>Enver Haase</A>
    69   */
    70  public class TransitiveHull implements VerifierFactoryObserver{
    71
    72  	/*** Used for indentation. */
    73  	private int indent = 0;
    74
    75  	/*** Not publicly instantiable. */
    76  	private TransitiveHull(){
    77  	}
    78
    79  	/* Implementing VerifierFactoryObserver. */
    80  	public void update(String classname){
    81
    82  		System.gc(); // avoid swapping if possible.
    83
    84  		for (int i=0; i<indent; i++){
    85  			System.out.print(" ");
    86  		}
    87  		System.out.println(classname);
    88  		indent += 1;
    89
    90  		Verifier v = VerifierFactory.getVerifier(classname);
    91
    92  		VerificationResult vr;
    93  		vr = v.doPass1();
    94  		if (vr != VerificationResult.VR_OK) //System.exit(1);
    95  			System.out.println("Pass 1:\n"+vr);
    96
    97  		vr = v.doPass2();
    98        if (vr != VerificationResult.VR_OK) //System.exit(1);
    99  			System.out.println("Pass 2:\n"+vr);
    100
    101 		if (vr == VerificationResult.VR_OK){
    102 			JavaClass jc = Repository.lookupClass(v.getClassName());
    103 			for (int i=0; i<jc.getMethods().length; i++){
    104 				vr = v.doPass3a(i);
    105 				if (vr != VerificationResult.VR_OK) //System.exit(1);
    106 					System.out.println(v.getClassName()+", Pass 3a, method "+i+" ['"+jc.getMethods()[i]+"']:\n"+vr);
    107
    108 				vr = v.doPass3b(i);
    109 				if (vr != VerificationResult.VR_OK) //System.exit(1);
    110 					System.out.println(v.getClassName()+", Pass 3b, method "+i+" ['"+jc.getMethods()[i]+"']:\n"+vr);
    111 			}
    112 		}
    113
    114 		indent -= 1;
    115 	}
    116
    117 	/***
    118 	 * This method implements a demonstration program
    119 	 * of how to use the VerifierFactoryObserver. It transitively verifies
    120 	 * all class files encountered; this may take up a lot of time and,
    121 	 * more notably, memory.
    122 	 */
    123 	public static void main(String[] args){
    124 		if (args.length != 1){
    125 			System.out.println("Need exactly one argument: The root class to verify.");
    126 			System.exit(1);
    127 		}
    128
    129 		int dotclasspos = args[0].lastIndexOf(".class");
    130 		if (dotclasspos != -1) args[0] = args[0].substring(0,dotclasspos);
    131 		args[0] = args[0].replace('/', '.');
    132
    133 		TransitiveHull th = new TransitiveHull();
    134 		VerifierFactory.attach(th);
    135 		VerifierFactory.getVerifier(args[0]); // the observer is called back and does the actual trick.
    136 		VerifierFactory.detach(th);
    137 	}
    138 }

This page was automatically generated by Maven