Êþº¾/µ ké kê kë kì kí kî kï kð kñ |ò kó kô kõ kö k÷ kø kùú û küý kþ kÿ k | | | | | | | |       k k k k k    k  @ @ k k ! 4ò" 4#$ 4% &' 4 4( ) 4* 4+, @ò- @# @. k/ @0 @1 402345 &6 @(789:;<= >?@ AB &C 4DE k# kF kG kH kI kJ kK kLM dòN dOP dQ kRS kTU mò kW >XY Z [\ ] ^ _ ` ab cd zefIvjEventHandler InnerClassesivjJDialogContentPaneLjavax/swing/JPanel; ivjPass1Panel ivjPass2Panel ivjPass3PanelivjPass1ButtonLjavax/swing/JButton;ivjPass2ButtonivjPass3ButtonivjEventHandler7Lorg/apache/bcel/verifier/VerifyDialog$IvjEventHandler; class_nameLjava/lang/String;classes_to_verifyIivjFlushButton()VCodeLineNumberTableLocalVariableTablethis'Lorg/apache/bcel/verifier/VerifyDialog;(Ljava/awt/Dialog;)VownerLjava/awt/Dialog;&(Ljava/awt/Dialog;Ljava/lang/String;)Vtitle'(Ljava/awt/Dialog;Ljava/lang/String;Z)VmodalZ(Ljava/awt/Dialog;Z)V(Ljava/awt/Frame;)VLjava/awt/Frame;%(Ljava/awt/Frame;Ljava/lang/String;)V&(Ljava/awt/Frame;Ljava/lang/String;Z)V(Ljava/awt/Frame;Z)V(Ljava/lang/String;)Vfully_qualified_class_name dotclasspos connEtoC1(Ljava/awt/event/ActionEvent;)VivjExcLjava/lang/Throwable;arg1Ljava/awt/event/ActionEvent; connEtoC2 connEtoC3 connEtoC4flushButton_ActionPerformed actionEventgetFlushButton()Ljavax/swing/JButton;getJDialogContentPane()Ljavax/swing/JPanel;getPass1Button getPass1PanelgetPass2Button getPass2PanelgetPass3Button getPass3PanelhandleException(Ljava/lang/Throwable;)V exceptioninitConnections Exceptionsg initializemain([Ljava/lang/String;)V aVerifyDialogiargs[Ljava/lang/String;pass1Button_ActionPerformedv#Lorg/apache/bcel/verifier/Verifier;vr-Lorg/apache/bcel/verifier/VerificationResult;pass2Button_ActionPerformedpass4Button_ActionPerformednrex"Ljava/lang/ClassNotFoundException;jc%Lorg/apache/bcel/classfile/JavaClass;colorLjava/awt/Color; access$000>(Lorg/apache/bcel/verifier/VerifyDialog;)Ljavax/swing/JButton;x0 Synthetic access$100F(Lorg/apache/bcel/verifier/VerifyDialog;Ljava/awt/event/ActionEvent;)Vx1 access$200 access$300 access$400 access$500 access$600 access$700 access$810()I access$800 SourceFileVerifyDialog.java Œ ¯¨ ²³ ®¨ º³ ­¨ ¸³ §¨ ¶³ € € ‚€ ƒ€ „… †… ‡…5org/apache/bcel/verifier/VerifyDialog$IvjEventHandler h ˆ‰java.lang.Object Š‹ Ž…  – ™ › ž Ÿ ¡ ¢ £.classi jk lm no ɨjava/lang/Throwable ¼½ Ψ Ϩ °¨p qrs tu v¤ ·µw xÖ yz { ¹µ »µjavax/swing/JButton FlushButton |¤&Flush: Forget old verification results }¤~ € ‚ ƒÖ „z …¤javax/swing/JPanelJDialogContentPane †‡ ´µ ˆ‰ Š‹ Pass1Button*Pass1: Verify binary layout of .class fileButton1 Pass1Panel Œ€ Pass2Button-Pass 2: Verify static .class file constraintsButton2 Pass2Panel Pass3Button Passes 3a+3b: Verify code arrays Pass3Panel Ž&--------- UNCAUGHT EXCEPTION --------- ‘¤ ’“ ”• VerifyDialog –— ˜™ š› œ› › žŸ ¿java/lang/StringBuffer'  ¡' verification - JustIce / BCEL ¢‰ £¤%org/apache/bcel/verifier/VerifyDialog ¤'org/apache/bcel/verifier/VerifyDialog$1 ¤¥ ¦3Exception occurred in main() of javax.swing.JDialog §¨© ªå «Ö ¬¨ ­Ö ®¯° ±² ³´ java/lang/ClassNotFoundException ’javax/swing/JDialogjava/lang/Exception*(Lorg/apache/bcel/verifier/VerifyDialog;)Vjava/lang/String lastIndexOf(Ljava/lang/String;)I substring(II)Ljava/lang/String;replace(CC)Ljava/lang/String;(org/apache/bcel/verifier/VerifierFactory getVerifier7(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;!org/apache/bcel/verifier/Verifierflushorg/apache/bcel/Repository removeClassjava/awt/Colorgray setBackground(Ljava/awt/Color;)VrepaintsetNamesetTextjava/awt/SystemColorcontrolHighlightLjava/awt/SystemColor; setBounds(IIII)Vred setForegroundsetActionCommand setLayout(Ljava/awt/LayoutManager;)VgetName()Ljava/lang/String;add)(Ljava/awt/Component;Ljava/lang/Object;)V controlShadowjava/lang/SystemoutLjava/io/PrintStream;java/io/PrintStreamprintlnprintStackTrace(Ljava/io/PrintStream;)VaddActionListener"(Ljava/awt/event/ActionListener;)VsetDefaultCloseOperation(I)VsetSize(II)V setVisible(Z)VsetModal setResizablesetContentPane(Ljava/awt/Container;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toStringsetTitleaddWindowListener"(Ljava/awt/event/WindowListener;)VerrdoPass1/()Lorg/apache/bcel/verifier/VerificationResult;+org/apache/bcel/verifier/VerificationResult getStatusgreendoPass2yellow lookupClass9(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;#org/apache/bcel/classfile/JavaClass getMethods%()[Lorg/apache/bcel/classfile/Method;doPass3b0(I)Lorg/apache/bcel/verifier/VerificationResult;!k| €€‚€ƒ€„…†…‡…ˆ‰Š‹ ŒŽ…(‘C*· *µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ*·±’6 ]( *,.02"4'63<9X>^B_“ C”•–‘ @*+·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 d( *,.02#4(64<:X?e“@”•@—˜™‘«A*+,·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 j( *,.02$4)65<;X@k“ A”•A—˜Aš‹›‘¶B*+,·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 p( *,.0 2%4*66<<XAq“*B”•B—˜Bš‹Bœž‘«A*+·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 v( *,.02$4)65<;X@w“ A”•A—˜AœŸ‘ @*+·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 |( *,.02#4(64<:X?}“@”•@— ¡‘«A*+,·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 ‚( *,.02$4)65<;X@ƒ“ A”•A— Aš‹¢‘¶B*+,·*µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 ˆ( *,.0 2%4*66<<XA‰“*B”•B— Bš‹Bœ£‘«A*+· *µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ±’2 Ž( *,.02$4)65<;X@“ A”•A— Aœ¤‘æd*· *µ *µ *µ *µ*µ*µ*µ*»Y*·µ*µ*µ+!¶"=Ÿ +¶#L+/.¶$L*+µ*·±’J˜( *,.02"4'63<9X>™EšJ›QZž_Ÿc “ d”•d¥‹E¦§¨‘e*+¶%§ M*,·'±&’¨¯« ®°“  ©ª”•«¬­¨‘e*+¶(§ M*,·'±&’¸¿» ¾À“  ©ª”•«¬®¨‘e*+¶)§ M*,·'±&’ÈÏË ÎГ  ©ª”•«¬¯¨‘e*+¶*§ M*,·'±&’ØßÛ Þà“  ©ª”•«¬°¨‘™E*´¸+¶,*´¸-*·.²/¶0*·.¶1*·2²/¶0*·2¶1*·3²/¶0*·3¶1±’& å æçè"é,ê3ë=ìDí“E”•E±¬²³‘È`*´ÇW*»4Y·5µ*´6¶7*´8¶9*´²:¶;*´<×,¶<*´²=¶>*´6¶?§ L*+·'*´°RU&’2 òôõö$÷.ø?ùIúRUýV[“V©ª`”•´µ‘#¯*´ Ǧ*»@Y·Aµ *´ B¶C*´ ¶D*·E*·.*·.¶F¶G*·E*·3*·3¶F¶G*·E*·2*·2¶F¶G*·E*· *· ¶H¶G*·E*·*·¶H¶G*·E*·*·¶H¶G*·E*·*·¶H¶G§ L*+·'*´ °¡¤&’>    #5GYk}¡¤¥ª“¥©ª¯”•¶³‘¹U*´ÇL*»4Y·5µ*´I¶7*´J¶9*´²:¶;*´d(,¶<*´K¶?§ L*+·'*´°GJ&’. #%&'$(.)>*G1J-K0P3“K©ªU”•·µ‘ªJ*´ ÇA*»@Y·Aµ *´ L¶C*´ ¶D*´ ²M¶0*´ 22¶N§ L*+·'*´ °<?&’* 9;<=#>-?<F?B@EEH“@©ªJ”•¸³‘¹U*´ÇL*»4Y·5µ*´O¶7*´P¶9*´²:¶;*´dd,¶<*´Q¶?§ L*+·'*´°GJ&’. NPQR$S.T>UG\JXK[P^“K©ªU”•¹µ‘ªJ*´ ÇA*»@Y·Aµ *´ R¶C*´ ¶D*´ ²M¶0*´ Z22¶N§ L*+·'*´ °<?&’* dfgh#i-j<q?m@pEs“@©ªJ”•º³‘ºV*´ÇM*»4Y·5µ*´S¶7*´T¶9*´²:¶;*´d ,¶<*´Q¶?§ L*+·'*´°HK&’. y{|}$~.?€H‡KƒL†Q‰“L©ªV”•»µ‘«K*´ÇB*»@Y·Aµ*´U¶C*´¶D*´²M¶0*´–22¶N§ L*+·'*´°=@&’* ‘’“#”-•=œ@˜A›Fž“A©ªK”•¼½‘L²VW¶X+²V¶Y±’¥¦§“”•¾ª¿‘g-*· *´¶Z*·*´¶Z*·*´¶Z*·*´¶Z±’® ¯°!±,²“ -”•ÀÁ‘ÅY*[¶\*¶]*®¶^*¶_*¶`*¶a**·E¶b*·c§ L*+·'*»dY·ef¶g*´¶gh¶g¶i¶j±03&’6 º» ¼½¾¿$À,Á0Ä3Â4Ã9ÆXÈ“4©ªY”• ÃÄ‘ÃG*¾³<*¾¢<»kY*2·lM,¶`,»mY·n¶o,¶_§M²pq¶X,²V¶Y„§ÿı -0&’2 ÒÓ Öר(á-å0â1ã9ä@ÓFç“*Å•1¾ª?ÆGÇÈɨ‘¨@*´¸+M,¶rN-¶s *·.²t¶0*·.¶1-¶s *·.²=¶0*·.¶1±’& ìí îïð&ò.ó8ô?ö“*@”•@±¬8ÊË 3ÌÍΨ‘Õ]*+¶%*´¸+M,¶uN-¶s *·2²t¶0*·2¶1-¶sš*·2²v¶0*·2¶1-¶s *·2²=¶0*·2¶1±’6 ûü ýþÿ$+2<CKU\ “*]”•]±¬ PÊËKÌÍϨ‘S}*+¶(²tM*´¸+N-¶u:¶s L:*´¸w:¶x¾66¢!-¶y:¶sŸ ²=M§ „§ÿÞ§ :¶{§²vM*·3,¶0*·3¶1±#\_z’Z  #,4>FOSV\"_a!f#i$m&u'|(“\ 7%Æ4(ÐaÑÒ#CÓÔ}”•}±¬ tÕÖlÊËfÌÍר‘/*· °’%“ Ù•ÚÛÜ‘:*+·±’%“Ù•ݬÚÞØ‘/*·°’%“ Ù•ÚßÜ‘:*+·±’%“Ù•ݬÚàØ‘/*·°’%“ Ù•ÚáÜ‘:*+·±’%“Ù•ݬÚâØ‘/*·°’%“ Ù•ÚãÜ‘:*+·±’%“Ù•ݬÚäå‘" ²Yd³¬’%Úæå‘²¬’%Úçè~k}m