123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559 |
- package org.aspectj.apache.bcel.verifier;
-
- /* ====================================================================
- * The Apache Software License, Version 1.1
- *
- * Copyright (c) 2001 The Apache Software Foundation. All rights
- * reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- *
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- *
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in
- * the documentation and/or other materials provided with the
- * distribution.
- *
- * 3. The end-user documentation included with the redistribution,
- * if any, must include the following acknowledgment:
- * "This product includes software developed by the
- * Apache Software Foundation (http://www.apache.org/)."
- * Alternately, this acknowledgment may appear in the software itself,
- * if and wherever such third-party acknowledgments normally appear.
- *
- * 4. The names "Apache" and "Apache Software Foundation" and
- * "Apache BCEL" must not be used to endorse or promote products
- * derived from this software without prior written permission. For
- * written permission, please contact apache@apache.org.
- *
- * 5. Products derived from this software may not be called "Apache",
- * "Apache BCEL", nor may "Apache" appear in their name, without
- * prior written permission of the Apache Software Foundation.
- *
- * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
- * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
- * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR
- * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
- * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
- * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
- * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
- * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
- * SUCH DAMAGE.
- * ====================================================================
- *
- * This software consists of voluntary contributions made by many
- * individuals on behalf of the Apache Software Foundation. For more
- * information on the Apache Software Foundation, please see
- * <http://www.apache.org/>.
- */
-
- import java.awt.Color;
-
- import org.aspectj.apache.bcel.Repository;
- import org.aspectj.apache.bcel.classfile.JavaClass;
-
- /**
- * A class for simple graphical class file verification.
- * Use the main(String []) method with fully qualified
- * class names as arguments to use it as a stand-alone
- * application.
- * Use the VerifyDialog(String) constructor to use this
- * class in your application.
- * [This class was created using VisualAge for Java,
- * but it does not work under VAJ itself (Version 3.02 JDK 1.2)]
- * @version $Id: VerifyDialog.java,v 1.2 2008/05/28 23:53:01 aclement Exp $
- * @author <A HREF="http://www.inf.fu-berlin.de/~ehaase"/>Enver Haase</A>
- * @see #main(String[])
- * @see #VerifyDialog(String)
- */
- public class VerifyDialog extends javax.swing.JDialog {
- /** Machine-generated. */
- private javax.swing.JPanel ivjJDialogContentPane = null;
- /** Machine-generated. */
- private javax.swing.JPanel ivjPass1Panel = null;
- /** Machine-generated. */
- private javax.swing.JPanel ivjPass2Panel = null;
- /** Machine-generated. */
- private javax.swing.JPanel ivjPass3Panel = null;
- /** Machine-generated. */
- private javax.swing.JButton ivjPass1Button = null;
- /** Machine-generated. */
- private javax.swing.JButton ivjPass2Button = null;
- /** Machine-generated. */
- private javax.swing.JButton ivjPass3Button = null;
- /** Machine-generated. */
- IvjEventHandler ivjEventHandler = new IvjEventHandler();
-
- /**
- * The class to verify. Default set to 'java.lang.Object'
- * in case this class is instantiated via one of the many
- * machine-generated constructors.
- */
- private String class_name = "java.lang.Object";
-
- /**
- * This field is here to count the number of open VerifyDialog
- * instances so the JVM can be exited afer every Dialog had been
- * closed.
- */
- private static int classes_to_verify;
-
- /** Machine-generated. */
- class IvjEventHandler implements java.awt.event.ActionListener {
- public void actionPerformed(java.awt.event.ActionEvent e) {
- if (e.getSource() == VerifyDialog.this.getPass1Button())
- connEtoC1(e);
- if (e.getSource() == VerifyDialog.this.getPass2Button())
- connEtoC2(e);
- if (e.getSource() == VerifyDialog.this.getPass3Button())
- connEtoC3(e);
- if (e.getSource() == VerifyDialog.this.getFlushButton())
- connEtoC4(e);
- };
- };
- /** Machine-generated. */
- private javax.swing.JButton ivjFlushButton = null;
- /** Machine-generated. */
- public VerifyDialog() {
- super();
- initialize();
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Dialog owner) {
- super(owner);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Dialog owner, String title) {
- super(owner, title);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Dialog owner, String title, boolean modal) {
- super(owner, title, modal);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Dialog owner, boolean modal) {
- super(owner, modal);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Frame owner) {
- super(owner);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Frame owner, String title) {
- super(owner, title);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Frame owner, String title, boolean modal) {
- super(owner, title, modal);
- }
-
- /** Machine-generated. */
- public VerifyDialog(java.awt.Frame owner, boolean modal) {
- super(owner, modal);
- }
-
- /**
- * Use this constructor if you want a possibility to verify other
- * class files than java.lang.Object.
- * @param fully_qualified_class_name java.lang.String
- */
- public VerifyDialog(String fully_qualified_class_name) {
- super();
-
- int dotclasspos = fully_qualified_class_name.lastIndexOf(".class");
- if (dotclasspos != -1) fully_qualified_class_name = fully_qualified_class_name.substring(0,dotclasspos);
- fully_qualified_class_name = fully_qualified_class_name.replace('/', '.');
-
- class_name = fully_qualified_class_name;
- initialize();
- }
-
-
- /** Machine-generated. */
- private void connEtoC1(java.awt.event.ActionEvent arg1) {
- try {
- // user code begin {1}
- // user code end
- this.pass1Button_ActionPerformed(arg1);
- // user code begin {2}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {3}
- // user code end
- handleException(ivjExc);
- }
- }
-
- /** Machine-generated. */
- private void connEtoC2(java.awt.event.ActionEvent arg1) {
- try {
- // user code begin {1}
- // user code end
- this.pass2Button_ActionPerformed(arg1);
- // user code begin {2}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {3}
- // user code end
- handleException(ivjExc);
- }
- }
-
- /** Machine-generated. */
- private void connEtoC3(java.awt.event.ActionEvent arg1) {
- try {
- // user code begin {1}
- // user code end
- this.pass4Button_ActionPerformed(arg1);
- // user code begin {2}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {3}
- // user code end
- handleException(ivjExc);
- }
- }
-
- /** Machine-generated. */
- private void connEtoC4(java.awt.event.ActionEvent arg1) {
- try {
- // user code begin {1}
- // user code end
- this.flushButton_ActionPerformed(arg1);
- // user code begin {2}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {3}
- // user code end
- handleException(ivjExc);
- }
- }
-
- /** Machine-generated. */
- public void flushButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
- VerifierFactory.getVerifier(class_name).flush();
- Repository.removeClass(class_name); // Make sure it will be reloaded.
- getPass1Panel().setBackground(Color.gray);
- getPass1Panel().repaint();
- getPass2Panel().setBackground(Color.gray);
- getPass2Panel().repaint();
- getPass3Panel().setBackground(Color.gray);
- getPass3Panel().repaint();
- }
-
- /** Machine-generated. */
- private javax.swing.JButton getFlushButton() {
- if (ivjFlushButton == null) {
- try {
- ivjFlushButton = new javax.swing.JButton();
- ivjFlushButton.setName("FlushButton");
- ivjFlushButton.setText("Flush: Forget old verification results");
- ivjFlushButton.setBackground(java.awt.SystemColor.controlHighlight);
- ivjFlushButton.setBounds(60, 215, 300, 30);
- ivjFlushButton.setForeground(java.awt.Color.red);
- ivjFlushButton.setActionCommand("FlushButton");
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjFlushButton;
- }
-
- /** Machine-generated. */
- private javax.swing.JPanel getJDialogContentPane() {
- if (ivjJDialogContentPane == null) {
- try {
- ivjJDialogContentPane = new javax.swing.JPanel();
- ivjJDialogContentPane.setName("JDialogContentPane");
- ivjJDialogContentPane.setLayout(null);
- getJDialogContentPane().add(getPass1Panel(), getPass1Panel().getName());
- getJDialogContentPane().add(getPass3Panel(), getPass3Panel().getName());
- getJDialogContentPane().add(getPass2Panel(), getPass2Panel().getName());
- getJDialogContentPane().add(getPass1Button(), getPass1Button().getName());
- getJDialogContentPane().add(getPass2Button(), getPass2Button().getName());
- getJDialogContentPane().add(getPass3Button(), getPass3Button().getName());
- getJDialogContentPane().add(getFlushButton(), getFlushButton().getName());
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjJDialogContentPane;
- }
-
- /** Machine-generated. */
- private javax.swing.JButton getPass1Button() {
- if (ivjPass1Button == null) {
- try {
- ivjPass1Button = new javax.swing.JButton();
- ivjPass1Button.setName("Pass1Button");
- ivjPass1Button.setText("Pass1: Verify binary layout of .class file");
- ivjPass1Button.setBackground(java.awt.SystemColor.controlHighlight);
- ivjPass1Button.setBounds(100, 40, 300, 30);
- ivjPass1Button.setActionCommand("Button1");
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass1Button;
- }
-
- /** Machine-generated. */
- private javax.swing.JPanel getPass1Panel() {
- if (ivjPass1Panel == null) {
- try {
- ivjPass1Panel = new javax.swing.JPanel();
- ivjPass1Panel.setName("Pass1Panel");
- ivjPass1Panel.setLayout(null);
- ivjPass1Panel.setBackground(java.awt.SystemColor.controlShadow);
- ivjPass1Panel.setBounds(30, 30, 50, 50);
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass1Panel;
- }
-
- /** Machine-generated. */
- private javax.swing.JButton getPass2Button() {
- if (ivjPass2Button == null) {
- try {
- ivjPass2Button = new javax.swing.JButton();
- ivjPass2Button.setName("Pass2Button");
- ivjPass2Button.setText("Pass 2: Verify static .class file constraints");
- ivjPass2Button.setBackground(java.awt.SystemColor.controlHighlight);
- ivjPass2Button.setBounds(100, 100, 300, 30);
- ivjPass2Button.setActionCommand("Button2");
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass2Button;
- }
-
- /** Machine-generated. */
- private javax.swing.JPanel getPass2Panel() {
- if (ivjPass2Panel == null) {
- try {
- ivjPass2Panel = new javax.swing.JPanel();
- ivjPass2Panel.setName("Pass2Panel");
- ivjPass2Panel.setLayout(null);
- ivjPass2Panel.setBackground(java.awt.SystemColor.controlShadow);
- ivjPass2Panel.setBounds(30, 90, 50, 50);
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass2Panel;
- }
-
- /** Machine-generated. */
- private javax.swing.JButton getPass3Button() {
- if (ivjPass3Button == null) {
- try {
- ivjPass3Button = new javax.swing.JButton();
- ivjPass3Button.setName("Pass3Button");
- ivjPass3Button.setText("Passes 3a+3b: Verify code arrays");
- ivjPass3Button.setBackground(java.awt.SystemColor.controlHighlight);
- ivjPass3Button.setBounds(100, 160, 300, 30);
- ivjPass3Button.setActionCommand("Button2");
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass3Button;
- }
-
- /** Machine-generated. */
- private javax.swing.JPanel getPass3Panel() {
- if (ivjPass3Panel == null) {
- try {
- ivjPass3Panel = new javax.swing.JPanel();
- ivjPass3Panel.setName("Pass3Panel");
- ivjPass3Panel.setLayout(null);
- ivjPass3Panel.setBackground(java.awt.SystemColor.controlShadow);
- ivjPass3Panel.setBounds(30, 150, 50, 50);
- // user code begin {1}
- // user code end
- } catch (java.lang.Throwable ivjExc) {
- // user code begin {2}
- // user code end
- handleException(ivjExc);
- }
- }
- return ivjPass3Panel;
- }
-
- /** Machine-generated. */
- private void handleException(java.lang.Throwable exception) {
-
- /* Uncomment the following lines to print uncaught exceptions to stdout */
- System.out.println("--------- UNCAUGHT EXCEPTION ---------");
- exception.printStackTrace(System.out);
- }
-
-
- /** Machine-generated. */
- private void initConnections() throws java.lang.Exception {
- // user code begin {1}
- // user code end
- getPass1Button().addActionListener(ivjEventHandler);
- getPass2Button().addActionListener(ivjEventHandler);
- getPass3Button().addActionListener(ivjEventHandler);
- getFlushButton().addActionListener(ivjEventHandler);
- }
-
- /** Machine-generated. */
- private void initialize() {
- try {
- // user code begin {1}
- // user code end
- setName("VerifyDialog");
- setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
- setSize(430, 280);
- setVisible(true);
- setModal(true);
- setResizable(false);
- setContentPane(getJDialogContentPane());
- initConnections();
- } catch (java.lang.Throwable ivjExc) {
- handleException(ivjExc);
- }
- // user code begin {2}
- setTitle("'"+class_name+"' verification - JustIce / BCEL");
- // user code end
- }
- /**
- * Verifies one or more class files.
- * Verification results are presented graphically: Red means 'rejected',
- * green means 'passed' while yellow means 'could not be verified yet'.
- * @param args java.lang.String[] fully qualified names of classes to verify.
- */
- public static void main(java.lang.String[] args) {
- classes_to_verify = args.length;
-
- for (int i=0; i<args.length; i++){
-
- try {
- VerifyDialog aVerifyDialog;
- aVerifyDialog = new VerifyDialog(args[i]);
- aVerifyDialog.setModal(true);
- aVerifyDialog.addWindowListener(new java.awt.event.WindowAdapter() {
- public void windowClosing(java.awt.event.WindowEvent e) {
- classes_to_verify--;
- if (classes_to_verify == 0) System.exit(0);
- };
- });
- aVerifyDialog.setVisible(true);
- } catch (Throwable exception) {
- System.err.println("Exception occurred in main() of javax.swing.JDialog");
- exception.printStackTrace(System.out);
- }
-
- }
- }
-
- /** Machine-generated. */
- public void pass1Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
- Verifier v = VerifierFactory.getVerifier(class_name);
- VerificationResult vr = v.doPass1();
- if (vr.getStatus() == VerificationResult.VERIFIED_OK){
- getPass1Panel().setBackground(Color.green);
- getPass1Panel().repaint();
- }
- if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){
- getPass1Panel().setBackground(Color.red);
- getPass1Panel().repaint();
- }
- }
-
- /** Machine-generated. */
- public void pass2Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
- pass1Button_ActionPerformed(actionEvent);
-
- Verifier v = VerifierFactory.getVerifier(class_name);
- VerificationResult vr = v.doPass2();
- if (vr.getStatus() == VerificationResult.VERIFIED_OK){
- getPass2Panel().setBackground(Color.green);
- getPass2Panel().repaint();
- }
- if (vr.getStatus() == VerificationResult.VERIFIED_NOTYET){
- getPass2Panel().setBackground(Color.yellow);
- getPass2Panel().repaint();
- }
- if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){
- getPass2Panel().setBackground(Color.red);
- getPass2Panel().repaint();
- }
- }
-
- /** Machine-generated. */
- public void pass4Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
-
- pass2Button_ActionPerformed(actionEvent);
-
-
- Color color = Color.green;
-
- Verifier v = VerifierFactory.getVerifier(class_name);
- VerificationResult vr = v.doPass2();
- if (vr.getStatus() == VerificationResult.VERIFIED_OK){
- JavaClass jc = Repository.lookupClass(class_name);
- int nr = jc.getMethods().length;
- for (int i=0; i<nr; i++) {
- vr = v.doPass3b(i);
- if (vr.getStatus() != VerificationResult.VERIFIED_OK){
- color = Color.red;
- break;
- }
- }
- }
- else{
- color = Color.yellow;
- }
-
- getPass3Panel().setBackground(color);
- getPass3Panel().repaint();
- }
- }
|