KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > jbet > cmd > verifyall


1 /*
2  * JBET - Java Binary Enhancement Tool
3  * Copyright (c) 2003 Networks Associates Technology, Inc.
4  *
5  * This software was developed under DARPA/SPAWAR contract
6  * N66001-00-C-8602 "SPMA" as part of the
7  * DARPA OASIS research program.
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  * 1. Redistributions of source code must retain the above copyright
13  * notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  * notice, this list of conditions and the following disclaimer in the
16  * documentation and/or other materials provided with the distribution.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28  * SUCH DAMAGE.
29  */
30
31 /*
32    Command object called by Jbet.doCommands().
33    run() parses the input using the supplied lexer.
34 */
35
36 package jbet.cmd;
37 import jbet.*;
38 import java.io.*;
39 import java.util.*;
40
41 public class verifyall implements Command
42 {
43     public int helplevel() { return 1; }
44     public String JavaDoc shorthelp() { return "verify multiple classes"; }
45     public String JavaDoc longhelp() {
46     return
47         "jbet verify <classes>\n\tVerify the specified classes, as the JVM would."; }
48
49     public void run (Lexer lexer) throws Exception JavaDoc
50     {
51     Vector classes = new Vector();
52
53     lexer.match(Token.END_OF_OPTS);
54     lexer.getClassNames(classes);
55     lexer.term();
56
57     for (Iterator ic = classes.iterator(); ic.hasNext(); ) {
58         String JavaDoc cname = ic.next().toString();
59         ClassInfo cr = Jbet.loader.getClass (cname);
60
61         boolean bad = false;
62
63         for (int i = 0; i < cr.numMethods(); i++) {
64           MethodInfo mi = cr.methodAt(i);
65           if (mi.code == null) continue;
66
67           try {
68         DataFlow df = new DataFlow (mi);
69         df.out = Jbet.debug;
70         df.run();
71         Jbet.info.println ("verified " + mi.qualifiedName());
72           } catch (Exception JavaDoc e) {
73           Jbet.output.println (e.toString());
74           bad = true;
75           }
76           mi.removeDataFlow();
77         }
78
79         if (bad)
80         Jbet.output.println (cr.name() + " : failed verify");
81     }
82     }
83
84 }
85
Popular Tags