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