A User Centric Security Model for Tamper-Resistant Devices

C.10 Abstract Virtual Machine
42 " i f e q " , " g e t f i e l d _ b " , " ifeq_w " , " g e t f i e l d _ b _ t h i s " , " i f g e " ,
43 " getfield_b_w " , " ifge_w " , " g e t f i e l d _ i " , " i f g t " ,
44 " g e t f i e l d _ i _ t h i s " , " ifgt_w " , " getfield_i_w " , " i f l e " ,
45 " g e t f i e l d _ s " , " ifle_w " , " g e t f i e l d _ s _ t h i s " , " i f l t " ,
46 " getfield_s_w " , " iflt_w " , " g e t s t a t i c _ a " , " i f n e " , " g e t s t a t i c _ b " ,
47 " ifne_w " , " g e t s t a t i c _ i " , " i f n o n n u l l " , " g e t s t a t i c _ s " ,
48 " ifnonnull_w " , " goto " , " i f n u l l " , "goto_w" , " ifnull_w " , " i2b " ,
49 " i i n c " , " i 2 s " , " iinc_w " , " iadd " , " i i p u s h " , " i a l o a d " , " i l o a d " ,
50 " iload_0 " , " p u t s t a t i c _ s " , " iload_1 " , " r e t " , " iload_2 " , " r e t u r n " ,
51 " iload_3 " , " s2b " , " i l o o k u p s w i t c h " , " s 2 i " , " imul " , " sadd " ,
52 " i n e g " , " s a l o a d " , " i n s t a n c e o f " , " sand " , " i n v o k e i n t e r f a c e " ,
53 " s a s t o r e " , " i n v o k e s p e c i a l " , " sconst_0 " , " i n v o k e s t a t i c " ,
54 " sconst_1 " , " i n v o k e v i r t u a l " , " sconst_2 " , " i o r " , " sconst_3 " ,
55 " irem " , " sconst_4 " , " i r e t u r n " , " sconst_5 " , " i s h l " , "sconst_m1" ,
56 " i s h r " , " s d i v " , " i s t o r e " , " s i n c " , " i s t o r e _ 0 " , "sinc_w" ,
57 " i s t o r e _ 1 " , " s i p u s h " , " i s t o r e _ 2 " , " s l o a d " , " i s t o r e _ 3 " ,
58 " sload_0 " , " i s u b " , " sload_1 " , " i t a b l e s w i t c h " , " sload_2 " ,
59 " i u s h r " , " sload_3 " , " i x o r " , " s lookupswitch " , " j s r " , "smul" ,
60 "new" , " sneg " , " newarray " , " s o r " , "nop" , "srem" , "pop" ,
61 " s r e t u r n " , "pop2" , " s s h l " , " p u t f i e l d _ a " , " s s h r " ,
62 " p u t f i e l d _ a _ t h i s " , " sspush " , " putfield_a_w " , " s s t o r e " ,
63 " putfield_b " , " sstore_0 " , " putfield_b_this " , " sstore_1 " ,
64 " putfield_b_w " , " sstore_2 " , " p u t f i e l d _ i " , " sstore_3 " ,
65 " p u t f i e l d _ i _ t h i s " , " ssub " , " putfield_i_w " , " s t a b l e s w i t c h " ,
66 " p u t f i e l d _ s " , " sushr " , " p u t f i e l d _ s _ t h i s " , "swap_x" ,
67 " putfield_s_w " , " sxor " , " putstatic_a " , " putstatic_b " ,
68 " p u t s t a t i c _ i " ,
69 } ;
70 public s t a t i c void main ( S t r i n g [ ] a r g s ) {
71 abstractVirtualMachine virtualMachine = new
72 abstractVirtualMachine ( ) ;
73 S t r i n g command = " javap −c " + virtualMachine . inputClassFileName ;
74 virtualMachine . runCommand(command . s p l i t ( " " ) ) ;
75 c r e a t e I n d e x ( ) ;
76 S t r i n g myFile = "D: \ \ e v a l u a t i o n F o l d e r \\ E v a l u a t i o n R e s u l t s . eva " ;
77 FileOutputStream outStream = new FileOutputStream ( myFile ) ;
78 PrintWriter out = new PrintWriter ( outStream ) ;
79 int numberPresent = 0 ;
80 for ( int i = 0 ; i < keywordList . l e n g t h ; i ++) {
81 numberPresent = searchIndex ( keywordList [ i ] ) ;
82 out . p r i n t l n ( keywordList [ i ] + " : " + numberPresent + ) ;
83 }
84 out . c l o s e ( ) ;
85 System . out . p r i n t l n ( "========= END ============" ) ;
86 }
87 public void runCommand( S t r i n g [ ] inputCommandString ) {
88 int number = inputCommandString . l e n g t h ;
89 try {
90 S t r i n g [ ] commands = new S t r i n g [ inputCommandString . l e n g t h + 2 ] ;
91 commands [ 0 ] = "cmd . exe " ;
92 commands [ 1 ] = "/ c " ;
431