Mercurial > paraspace

annotate paraspace/tests/injection_test.py @ 149:d4533a59c694

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
inject_classdefs() also inject relative _DEX_StringIds.
author Thinker K.F. Li <thinker@codemud.net>
date Mon, 15 Aug 2011 21:51:39 +0800
parents c4324c3461e8
children 1eb1b2ca5de4
rev   line source
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
1 from paraspace import dexfile
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
2 import os
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
3
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
4 def _install_dexfile_4_deptracker():
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
5 global dexfile
93
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
6 import imp, sys
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
7 from paraspace import dex_deptracker
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
8 from paraspace import injection
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
9
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
10 try:
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
11 new_dexfile = imp.load_compiled('dexfile', dexfile.__file__)
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
12 except ImportError:
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
13 new_dexfile = imp.load_source('dexfile', dexfile.__file__)
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
14 pass
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
15 dex_deptracker.dexfile = new_dexfile
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
16 dexfile = new_dexfile
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
17 dex_deptracker._nest_types = (dexfile.array, dexfile.cond, dexfile.switch)
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
18
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
19 injection.dex_type_2_array_attr_map = \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
20 injection._saved_dex_type_2_array_attr_map
93
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
21
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
22 sys.modules['paraspace.dexfile'] = new_dexfile
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
23 pass
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
24
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
25
98
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
26 def _find_map(dex, map_type):
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
27 for map in dex.maps.items.items:
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
28 if map.type == map_type:
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
29 return map
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
30 pass
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
31 pass
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
32
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
33
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
34 def inject_fakefile_to_helloworld_test():
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
35 from paraspace.dex_deptracker import prepare_dep_decls
96
1769e52bdd9d Make dexfile_insert_class() pass the testcase
Thinker K.F. Li <thinker@codemud.net>
parents: 95
diff changeset
36 from paraspace.injection import dexfile_insert_class
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
37
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
38 _install_dexfile_4_deptracker()
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
39
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
40 all_dep_decls = prepare_dep_decls()
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
41
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
42 srcdir = os.path.dirname(__file__)
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
43 srcroot = os.path.join(srcdir, '..', '..')
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
44
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
45 helloworld_fn = os.path.join(srcroot, 'data', 'helloworld.dex')
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
46 helloworld_dex = dexfile.DEXFile.open(helloworld_fn)
98
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
47
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
48 classdef_map = _find_map(helloworld_dex, 0x0006)
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
49 saved_classdef_map_sz = classdef_map.size
100
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
50 saved_methodids_sz = len(helloworld_dex.methodIds.items)
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
51
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
52 codeitems_map = _find_map(helloworld_dex, 0x2001)
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
53 saved_codeitems_sz = codeitems_map.size
98
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
54
93
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
55 helloworld_linked = \
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
56 dexfile.DEXFile_linked.build_dependencies(helloworld_dex,
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
57 all_dep_decls)
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
58
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
59 fakefile_fn = os.path.join(srcroot, 'data', 'fakefile.dex')
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
60 fakefile_dex = dexfile.DEXFile.open(fakefile_fn)
93
2fa9b6f21344 Add DEXFile_linked to model linked DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 92
diff changeset
61 fakefile_linked = \
95
9373465643e0 Fix bug of DEXFile_linked.get_classdef_name
Thinker K.F. Li <thinker@codemud.net>
parents: 93
diff changeset
62 dexfile.DEXFile_linked. \
9373465643e0 Fix bug of DEXFile_linked.get_classdef_name
Thinker K.F. Li <thinker@codemud.net>
parents: 93
diff changeset
63 build_dependencies(fakefile_dex, all_dep_decls)
9373465643e0 Fix bug of DEXFile_linked.get_classdef_name
Thinker K.F. Li <thinker@codemud.net>
parents: 93
diff changeset
64
9373465643e0 Fix bug of DEXFile_linked.get_classdef_name
Thinker K.F. Li <thinker@codemud.net>
parents: 93
diff changeset
65 fakefile_def = fakefile_linked. \
9373465643e0 Fix bug of DEXFile_linked.get_classdef_name
Thinker K.F. Li <thinker@codemud.net>
parents: 93
diff changeset
66 find_class_name('Lcom/codemud/fakefile/fakefile;')
96
1769e52bdd9d Make dexfile_insert_class() pass the testcase
Thinker K.F. Li <thinker@codemud.net>
parents: 95
diff changeset
67
100
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
68 fakefile_data = fakefile_def.classDataOffRef.value
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
69 assert len(fakefile_data.directMethods.items) == 1
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
70 assert len(fakefile_data.virtualMethods.items) == 0
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
71 fakefile_dataheader = fakefile_data.header
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
72 assert fakefile_dataheader.directMethodsSize == 1
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
73 assert fakefile_dataheader.virtualMethodsSize == 0
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
74
98
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
75 clone = dexfile_insert_class(helloworld_linked, fakefile_def)
96
1769e52bdd9d Make dexfile_insert_class() pass the testcase
Thinker K.F. Li <thinker@codemud.net>
parents: 95
diff changeset
76 assert clone
1769e52bdd9d Make dexfile_insert_class() pass the testcase
Thinker K.F. Li <thinker@codemud.net>
parents: 95
diff changeset
77 assert clone != fakefile_def
97
00cd331f8aa8 Get unlinked one from a linked one
Thinker K.F. Li <thinker@codemud.net>
parents: 96
diff changeset
78
00cd331f8aa8 Get unlinked one from a linked one
Thinker K.F. Li <thinker@codemud.net>
parents: 96
diff changeset
79 helloworld_unlinked = helloworld_linked.get_unlinked()
00cd331f8aa8 Get unlinked one from a linked one
Thinker K.F. Li <thinker@codemud.net>
parents: 96
diff changeset
80 assert helloworld_unlinked
98
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
81
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
82 # map size for classdef must be increased by 1
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
83 classdef_map = _find_map(helloworld_unlinked, 0x0006)
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
84 assert classdef_map.size == saved_classdef_map_sz + 1
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
85
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
86 classdata_map = _find_map(helloworld_unlinked, 0x2000)
c0c127c7b37e Check and fix issues of map sizes
Thinker K.F. Li <thinker@codemud.net>
parents: 97
diff changeset
87 assert classdata_map.size == classdef_map.size
99
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
88
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
89 # Check strings
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
90 strdatas = helloworld_unlinked.stringDataItems.items
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
91 strs = sorted([strdata.data.data for strdata in strdatas])
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
92 assert len(strs) == len(set(strs)) # uniquely
3898711adb2c Make sure string data list is consistent.
Thinker K.F. Li <thinker@codemud.net>
parents: 98
diff changeset
93 assert 'Lcom/codemud/fakefile/fakefile;' in strs
100
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
94
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
95 # Check Method List
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
96 methodids_map = _find_map(helloworld_unlinked, 0x0005) # method ids
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
97 assert methodids_map.size == len(helloworld_unlinked.methodIds.items)
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
98 assert methodids_map.size == saved_methodids_sz + 1
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
99
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
100 # Check Code item List
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
101 codeitems_map = _find_map(helloworld_unlinked, 0x2001)
355986e5cfbd Make surce methods of injected class are also being and bug fixed.
Thinker K.F. Li <thinker@codemud.net>
parents: 99
diff changeset
102 assert codeitems_map.size == saved_codeitems_sz + 1
90
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
103 pass
fe7b3f111d57 Testcase for code injection
Thinker K.F. Li <thinker@codemud.net>
parents:
diff changeset
104
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
106 def redirect_types_test():
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
107 from paraspace.dex_deptracker import prepare_dep_decls
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
108 from paraspace.injection import dexfile_insert_class
145
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
109 from paraspace.injection import dexfile_redirect_indices
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
110 from paraspace.injection import make_methodidxs_redir_map
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
111 from paraspace import dalvik_opcodes
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
112
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
113 _install_dexfile_4_deptracker()
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
114
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
115 all_dep_decls = prepare_dep_decls()
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
116
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
117 srcdir = os.path.dirname(__file__)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
118 srcroot = os.path.join(srcdir, '..', '..')
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
119
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
120 helloworld_fn = os.path.join(srcroot, 'data', 'helloworld.dex')
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
121 helloworld_dex = dexfile.DEXFile.open(helloworld_fn)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
122
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
123 classdef_map = _find_map(helloworld_dex, 0x0006)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
124 saved_classdef_map_sz = classdef_map.size
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
125 saved_methodids_sz = len(helloworld_dex.methodIds.items)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
126
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
127 codeitems_map = _find_map(helloworld_dex, 0x2001)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
128 saved_codeitems_sz = codeitems_map.size
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
129
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
130 helloworld_linked = \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
131 dexfile.DEXFile_linked.build_dependencies(helloworld_dex,
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
132 all_dep_decls)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
133
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
134 fakefile_fn = os.path.join(srcroot, 'data', 'fakefile.dex')
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
135 fakefile_dex = dexfile.DEXFile.open(fakefile_fn)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
136 fakefile_linked = \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
137 dexfile.DEXFile_linked. \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
138 build_dependencies(fakefile_dex, all_dep_decls)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
139
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
140 fakefile_def = \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
141 fakefile_linked.find_class_name('Lcom/codemud/fakefile/fakefile;')
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
142 clone = dexfile_insert_class(helloworld_linked, fakefile_def)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
143
107
4b3573d039af Fix bug of DEXFile_linked.find_method_name_proto().
Thinker K.F. Li <thinker@codemud.net>
parents: 106
diff changeset
144 init_method = fakefile_linked.find_method_name('<init>', fakefile_def)
4b3573d039af Fix bug of DEXFile_linked.find_method_name_proto().
Thinker K.F. Li <thinker@codemud.net>
parents: 106
diff changeset
145 init_protoid = init_method.methodIdx.protoIdx
4b3573d039af Fix bug of DEXFile_linked.find_method_name_proto().
Thinker K.F. Li <thinker@codemud.net>
parents: 106
diff changeset
146
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
147 File_typeid = helloworld_linked.find_typeid_name('Ljava/io/File;')
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
148 assert File_typeid
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
149 File_typeidx = helloworld_linked.get_idx_typeid(File_typeid)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
150
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
151 clone_typeidx = helloworld_linked.get_idx_typeid(clone.classIdx)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
152
113
ee13c86d84f2 Let user specify redirection map for methods
Thinker K.F. Li <thinker@codemud.net>
parents: 111
diff changeset
153 types_redir = {File_typeidx: clone_typeidx}
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
154 excludes = set([clone_typeidx])
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
155
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
156 fakefile_data = clone.classDataOffRef.value
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
157 fakefile_methods = fakefile_data.directMethods.items
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
158 fakefile_codes = [method.codeOffRef.value for method in fakefile_methods]
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
159
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
160 methods_redir = make_methodidxs_redir_map(helloworld_linked,
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
161 helloworld_linked,
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
162 types_redir)
145
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
163 dexfile_redirect_indices(helloworld_linked, types_redir,
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
164 methods_redir, excludes)
105
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
165
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
166 for code in helloworld_linked.codeItems.items:
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
167 op_vectors = dalvik_opcodes.decode_insn_blk(code.insns.data)
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
168 for opcode, args in op_vectors:
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
169 if opcode == dalvik_opcodes.all_opcodes.OP_NEW_INSTANCE:
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
170 assert args[1] != File_typeidx
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
171 pass
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
172 elif opcode == dalvik_opcodes.all_opcodes.OP_INVOKE_DIRECT:
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
173 methodid = helloworld_linked.find_methodid_idx(args[2])
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
174 assert methodid.classIdx != File_typeid or \
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
175 code in fakefile_codes
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
176 pass
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
177 pass
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
178 pass
f14c32108164 Test dexfile_redirect_types
Thinker K.F. Li <thinker@codemud.net>
parents: 100
diff changeset
179 pass
109
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
180
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
181
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
182 def collect_types_in_method_test():
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
183 from paraspace.dex_deptracker import prepare_dep_decls
149
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
184 from paraspace.injection import collect_typeidxs_stridxs_in_method
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
185 from paraspace.injection import collect_typeidxs_stridxs_mentioned_by_class
110
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
186 from paraspace.dexfile import DEXFile_linked
109
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
187
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
188 _install_dexfile_4_deptracker()
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
189
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
190 all_dep_decls = prepare_dep_decls()
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
191
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
192 srcdir = os.path.dirname(__file__)
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
193 srcroot = os.path.join(srcdir, '..', '..')
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
194
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
195 fakefile_fn = os.path.join(srcroot, 'data', 'fakefile.dex')
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
196 fakefile_dex = dexfile.DEXFile.open(fakefile_fn)
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
197 fakefile_linked = \
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
198 dexfile.DEXFile_linked. \
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
199 build_dependencies(fakefile_dex, all_dep_decls)
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
200
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
201 fakefile_def = \
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
202 fakefile_linked.find_class_name('Lcom/codemud/fakefile/fakefile;')
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
203
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
204 init_method = fakefile_linked.find_method_name('<init>', fakefile_def)
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
205
149
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
206 typeidxs, stridxs = \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
207 collect_typeidxs_stridxs_in_method(fakefile_linked, init_method)
109
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
208 assert len(typeidxs) == 1
110
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
209
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
210 typeid = fakefile_linked.find_typeid_idx(typeidxs[0])
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
211 typeid_name = DEXFile_linked.get_typeid_name(typeid)
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
212 assert typeid_name == 'Ljava/io/File;'
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
213
149
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
214 typeidxs, stridxs = \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
215 collect_typeidxs_stridxs_mentioned_by_class(fakefile_linked, \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
216 fakefile_def)
110
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
217 assert len(typeidxs) == 1
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
218
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
219 typeid = fakefile_linked.find_typeid_idx(typeidxs[0])
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
220 typeid_name = DEXFile_linked.get_typeid_name(typeid)
6380730a80b4 Add collect_typeidxs_mentioned_by_class()
Thinker K.F. Li <thinker@codemud.net>
parents: 109
diff changeset
221 assert typeid_name == 'Ljava/io/File;'
109
835336632aba Add collect_typeidxs_in_method()
Thinker K.F. Li <thinker@codemud.net>
parents: 107
diff changeset
222 pass
111
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
223
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
224
114
867184e01852 Change interface of dexfile_insert_classdefs_relative
Thinker K.F. Li <thinker@codemud.net>
parents: 113
diff changeset
225 def dexfile_insert_classdefs_relative_test():
111
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
226 from paraspace.dex_deptracker import prepare_dep_decls
114
867184e01852 Change interface of dexfile_insert_classdefs_relative
Thinker K.F. Li <thinker@codemud.net>
parents: 113
diff changeset
227 from paraspace.injection import dexfile_insert_classdefs_relative
111
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
228
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
229 _install_dexfile_4_deptracker()
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
230
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
231 all_dep_decls = prepare_dep_decls()
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
232
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
233 srcdir = os.path.dirname(__file__)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
234 srcroot = os.path.join(srcdir, '..', '..')
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
235
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
236 helloworld_fn = os.path.join(srcroot, 'data', 'helloworld.dex')
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
237 helloworld_dex = dexfile.DEXFile.open(helloworld_fn)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
238
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
239 classdef_map = _find_map(helloworld_dex, 0x0006)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
240 saved_classdef_map_sz = classdef_map.size
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
241 saved_methodids_sz = len(helloworld_dex.methodIds.items)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
242
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
243 codeitems_map = _find_map(helloworld_dex, 0x2001)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
244 saved_codeitems_sz = codeitems_map.size
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
245
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
246 helloworld_linked = \
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
247 dexfile.DEXFile_linked.build_dependencies(helloworld_dex,
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
248 all_dep_decls)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
249
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
250 fakefile_fn = os.path.join(srcroot, 'data', 'fakefile.dex')
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
251 fakefile_dex = dexfile.DEXFile.open(fakefile_fn)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
252 fakefile_linked = \
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
253 dexfile.DEXFile_linked. \
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
254 build_dependencies(fakefile_dex, all_dep_decls)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
255
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
256 fakefile_def = fakefile_linked. \
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
257 find_class_name('Lcom/codemud/fakefile/fakefile;')
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
258
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
259 fakefile_data = fakefile_def.classDataOffRef.value
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
260 assert len(fakefile_data.directMethods.items) == 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
261 assert len(fakefile_data.virtualMethods.items) == 0
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
262 fakefile_dataheader = fakefile_data.header
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
263 assert fakefile_dataheader.directMethodsSize == 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
264 assert fakefile_dataheader.virtualMethodsSize == 0
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
265
149
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
266 classdefs, typeids, strids = \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
267 dexfile_insert_classdefs_relative(helloworld_linked, \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
268 fakefile_linked, \
d4533a59c694 inject_classdefs() also inject relative _DEX_StringIds.
Thinker K.F. Li <thinker@codemud.net>
parents: 145
diff changeset
269 [fakefile_def])
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
270 assert classdefs
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
271 assert len(classdefs) == 1
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
272 assert classdefs[0] != fakefile_def
111
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
273
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
274 helloworld_unlinked = helloworld_linked.get_unlinked()
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
275 assert helloworld_unlinked
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
276
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
277 # map size for classdef must be increased by 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
278 classdef_map = _find_map(helloworld_unlinked, 0x0006)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
279 assert classdef_map.size == saved_classdef_map_sz + 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
280
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
281 classdata_map = _find_map(helloworld_unlinked, 0x2000)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
282 assert classdata_map.size == classdef_map.size
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
283
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
284 # Check strings
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
285 strdatas = helloworld_unlinked.stringDataItems.items
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
286 strs = sorted([strdata.data.data for strdata in strdatas])
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
287 assert len(strs) == len(set(strs)) # uniquely
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
288 assert 'Lcom/codemud/fakefile/fakefile;' in strs
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
289
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
290 # Check Method List
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
291 methodids_map = _find_map(helloworld_unlinked, 0x0005) # method ids
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
292 assert methodids_map.size == len(helloworld_unlinked.methodIds.items)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
293 assert methodids_map.size == saved_methodids_sz + 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
294
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
295 # Check Code item List
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
296 codeitems_map = _find_map(helloworld_unlinked, 0x2001)
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
297 assert codeitems_map.size == saved_codeitems_sz + 1
3820379b34e8 Add dexfile_insert_class_relative()
Thinker K.F. Li <thinker@codemud.net>
parents: 110
diff changeset
298 pass
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
299
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
300
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
301 def inject_classdefs_test():
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
302 from paraspace.dex_deptracker import prepare_dep_decls
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
303 from paraspace.injection import inject_classdefs
118
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
304 from paraspace.injection import make_methodidxs_redir_map
145
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
305 from paraspace.injection import dexfile_redirect_indices
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
306 from paraspace import dalvik_opcodes
116
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
307 from paraspace.dexfile import DEXFile_linked
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
308
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
309 _install_dexfile_4_deptracker()
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
310
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
311 all_dep_decls = prepare_dep_decls()
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
312
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
313 srcdir = os.path.dirname(__file__)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
314 srcroot = os.path.join(srcdir, '..', '..')
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
315
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
316 helloworld_fn = os.path.join(srcroot, 'data', 'helloworld.dex')
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
317 helloworld_dex = dexfile.DEXFile.open(helloworld_fn)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
318
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
319 classdef_map = _find_map(helloworld_dex, 0x0006)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
320 saved_classdef_map_sz = classdef_map.size
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
321 saved_methodids_sz = len(helloworld_dex.methodIds.items)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
322
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
323 codeitems_map = _find_map(helloworld_dex, 0x2001)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
324 saved_codeitems_sz = codeitems_map.size
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
325
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
326 helloworld_linked = \
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
327 dexfile.DEXFile_linked.build_dependencies(helloworld_dex,
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
328 all_dep_decls)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
329
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
330 fakefile_fn = os.path.join(srcroot, 'data', 'fakefile.dex')
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
331 fakefile_dex = dexfile.DEXFile.open(fakefile_fn)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
332 fakefile_linked = \
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
333 dexfile.DEXFile_linked. \
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
334 build_dependencies(fakefile_dex, all_dep_decls)
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
335
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
336 fakefile_def = \
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
337 fakefile_linked.find_class_name('Lcom/codemud/fakefile/fakefile;')
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
338 clonings = inject_classdefs(helloworld_linked, fakefile_linked,
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
339 [fakefile_def])
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
340 assert clonings
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
341 assert len(clonings) == 1
116
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
342
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
343 fakefile_cloning = clonings[0]
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
344 method = helloworld_linked.find_method_name('<init>', fakefile_cloning)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
345 assert isinstance(method, dexfile._DEX_Method)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
346
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
347 V_typeid = helloworld_linked.find_typeid_name('V')
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
348 file_typeid = helloworld_linked.find_typeid_name('Ljava/io/File;')
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
349 file_typeidx = helloworld_linked.get_idx_typeid(file_typeid)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
350 str_typeid = helloworld_linked.find_typeid_name('Ljava/lang/String;')
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
351 protoid = DEXFile_linked.make_protoid(V_typeid,
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
352 (file_typeid, str_typeid))
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
353 initid = helloworld_linked.find_methodid_name_proto('<init>',
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
354 protoid,
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
355 file_typeid)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
356 initidx = helloworld_linked.get_idx_methodid(initid)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
357
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
358 insns_block = DEXFile_linked.get_code_block_method(method)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
359 opvectors = dalvik_opcodes.decode_insn_blk(insns_block)
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
360 assert len(opvectors) == 2
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
361 opvector = opvectors[0]
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
362 args = opvector[1]
c5f59bdbc916 Fix issue of proto matching.
Thinker K.F. Li <thinker@codemud.net>
parents: 115
diff changeset
363 assert args[2] == initidx
118
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
364
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
365 fakefile_typeidx = \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
366 helloworld_linked.get_idx_typeid(fakefile_cloning.classIdx)
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
367 typeidxs_redir_map = {file_typeidx: fakefile_typeidx}
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
368 methodidxs_redir_map = \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
369 make_methodidxs_redir_map(helloworld_linked, \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
370 helloworld_linked, \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
371 typeidxs_redir_map)
145
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
372 dexfile_redirect_indices(helloworld_linked, typeidxs_redir_map,
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
373 methodidxs_redir_map, {},
c4324c3461e8 Redirect string indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 144
diff changeset
374 excludes=[fakefile_typeidx])
118
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
375
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
376 cloning_initdef = \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
377 helloworld_linked.find_method_name_proto('<init>', \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
378 protoid, \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
379 fakefile_cloning)
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
380 fakefile_codes = [cloning_initdef.codeOffRef.value]
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
381 for code in helloworld_linked.codeItems.items:
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
382 op_vectors = dalvik_opcodes.decode_insn_blk(code.insns.data)
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
383 for opcode, args in op_vectors:
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
384 if opcode == dalvik_opcodes.all_opcodes.OP_NEW_INSTANCE:
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
385 assert args[1] != file_typeidx
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
386 pass
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
387 elif opcode == dalvik_opcodes.all_opcodes.OP_INVOKE_DIRECT:
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
388 methodid = helloworld_linked.find_methodid_idx(args[2])
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
389 assert methodid.classIdx != file_typeid or \
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
390 code in fakefile_codes
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
391 pass
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
392 pass
7b537e0d8e7a Check redirection
Thinker K.F. Li <thinker@codemud.net>
parents: 116
diff changeset
393 pass
115
d112c27f657a Add inject_classdefs() for injecting classdef to DEX
Thinker K.F. Li <thinker@codemud.net>
parents: 114
diff changeset
394 pass
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
395
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
396
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
397 ## \brief Test case for error of verifing data map.
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
398 #
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
399 # The output of inject_redir.py is not accepted by dalvik with following
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
400 # error messages.
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
401 # \pre
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
402 # E/dalvikvm( 302): Unexpected data map entry @ 0x930: expected 1001, \
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
403 # found 2006
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
404 # E/dalvikvm( 302): Trouble with item 0 @ offset 0x25c
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
405 # E/dalvikvm( 302): Cross-item verify of section type 0003 failed
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
406 # E/dalvikvm( 302): ERROR: Byte swap + verify failed
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
407 # E/dalvikvm( 302): Optimization failed
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
408 #
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
409 # The data map printed by paraspace.dexfile is
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
410 # \pre
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
411 # 0x0000(kDexTypeHeaderItem) size=1 offset=0x00000000
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
412 # 0x0001(kDexTypeStringIdItem) size=92 offset=0x00000070
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
413 # 0x0002(kDexTypeTypeIdItem) size=31 offset=0x000001e0
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
414 # 0x0003(kDexTypeProtoIdItem) size=18 offset=0x0000025c
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
415 # 0x0004(kDexTypeFieldIdItem) size=7 offset=0x00000334
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
416 # 0x0005(kDexTypeMethodIdItem) size=36 offset=0x0000036c
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
417 # 0x0006(kDexTypeClassDefItem) size=10 offset=0x0000048c
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
418 # 0x1003(kDexTypeAnnotationSetItem) size=7 offset=0x000005cc
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
419 # 0x2001(kDexTypeCodeItem) size=17 offset=0x0000061c
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
420 # 0x2006(kDexTypeAnnotationsDirectoryItem) size=7 offset=0x00000910
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
421 # 0x1001(kDexTypeTypeList) size=12 offset=0x00000980
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
422 # 0x2002(kDexTypeStringDataItem) size=92 offset=0x000009e2
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
423 # 0x2003(kDexTypeDebugInfoItem) size=17 offset=0x00000f05
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
424 # 0x2004(kDexTypeAnnotationItem) size=9 offset=0x00000fc1
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
425 # 0x2005(kDexTypeEncodedArrayItem) size=5 offset=0x00001012
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
426 # 0x2000(kDexTypeClassDataItem) size=10 offset=0x0000102d
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
427 # 0x1000(kDexTypeMapList) size=1 offset=0x000010c0
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
428 #
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
429 # It is possible restore_dependencies() does not following \ref ref
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
430 # object to set offset value on referenced attribute.
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
431 #
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
432 # It is also possible dexfile_insert_classdefs_relative() does not
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
433 # put injected objects into lists properly.
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
434 #
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
435 def map_verify_error_test():
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
436 from paraspace.dex_deptracker import prepare_dep_decls
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
437 from paraspace.injection import inject_redir
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
438
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
439 _install_dexfile_4_deptracker()
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
440
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
441 all_dep_decls = prepare_dep_decls()
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
442
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
443 srcdir = os.path.dirname(__file__)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
444 datapath = os.path.join(srcdir, '..', '..', 'data')
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
445
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
446 fake_path = os.path.join(datapath, 'fakefile.dex')
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
447 hello_path = os.path.join(datapath, 'helloworld.dex')
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
448
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
449 fake_dex = dexfile.DEXFile.open(fake_path)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
450 fake_linked = dexfile.DEXFile_linked.build_dependencies(fake_dex,
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
451 all_dep_decls)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
452
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
453 hello_dex = dexfile.DEXFile.open(hello_path)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
454 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
455 all_dep_decls)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
456
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
457 inject_redir(fake_linked, 'Lcom/codemud/fakefile/fakefile;',
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
458 hello_linked, 'Ljava/io/File;', all_dep_decls)
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
459
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
460 for idx, item in enumerate(hello_linked.maps.items.items):
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
461 if item.type == dexfile._DEX_MapItem.name_to_types['kDexTypeTypeList']:
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
462 break
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
463 pass
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
464 else:
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
465 assert False
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
466 pass
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
467 typelist_start = item.offset
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
468 next_item = hello_linked.maps.items.items[idx + 1]
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
469 typelist_stop = next_item.offset
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
470
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
471 for idx, protoid in enumerate(hello_linked.protoIds.items):
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
472 off = protoid.parametersOff
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
473 try:
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
474 if off != 0:
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
475 assert off >= typelist_start
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
476 assert off < typelist_stop
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
477 pass
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
478 pass
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
479 except:
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
480 print 'ERROR: protoid idx@%d %s 0x%x' % (idx, repr(protoid), off)
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
481 print 'start 0x%x stop 0x%x' % (typelist_start, typelist_stop)
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
482 raise
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
483 pass
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
484
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
485 for idx, classdef in enumerate(hello_linked.classDefs.items):
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
486 off = classdef.interfacesOff
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
487 try:
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
488 if off != 0:
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
489 assert off >= typelist_start
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
490 assert off < typelist_stop
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
491 pass
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
492 pass
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
493 except:
132
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
494 print 'ERROR: classdef idx@%d %s 0x%x' % (idx, repr(classdef), off)
75a31967ebee Following the ref in resotre_dependencies()
Thinker K.F. Li <thinker@codemud.net>
parents: 131
diff changeset
495 print 'start 0x%x stop 0x%x' % (typelist_start, typelist_stop)
131
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
496 raise
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
497 pass
044bfc415577 Fix issue of data map verification.
Thinker K.F. Li <thinker@codemud.net>
parents: 118
diff changeset
498 pass
135
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
499
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
500
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
501 ## \brief Test case for protoid out of order.
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
502 #
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
503 # Dalvik complaints that output of inject_redir() is out-of-order in
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
504 # DEXFile.protoIds list.
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
505 # \pre
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
506 # E/dalvikvm( 298): Out-of-order proto_id arguments
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
507 # E/dalvikvm( 298): Trouble with item 14 @ offset 0x304
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
508 # E/dalvikvm( 298): Cross-item verify of section type 0003 failed
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
509 # E/dalvikvm( 298): ERROR: Byte swap + verify failed
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
510 # E/dalvikvm( 298): Optimization failed
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
511 #
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
512 def proto_id_order_verify_test():
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
513 from paraspace.dex_deptracker import prepare_dep_decls
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
514 from paraspace.dex_deptracker import dex_sort_sorted_arrays
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
515 from paraspace.injection import inject_redir_no_restore
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
516
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
517 _install_dexfile_4_deptracker()
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
518
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
519 all_dep_decls = prepare_dep_decls()
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
520
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
521 srcdir = os.path.dirname(__file__)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
522 datapath = os.path.join(srcdir, '..', '..', 'data')
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
523
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
524 fake_path = os.path.join(datapath, 'fakefile.dex')
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
525 hello_path = os.path.join(datapath, 'helloworld.dex')
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
526
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
527 fake_dex = dexfile.DEXFile.open(fake_path)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
528 fake_linked = dexfile.DEXFile_linked.build_dependencies(fake_dex,
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
529 all_dep_decls)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
530
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
531 hello_dex = dexfile.DEXFile.open(hello_path)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
532 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
533 all_dep_decls)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
534
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
535 inject_redir_no_restore(fake_linked, 'Lcom/codemud/fakefile/fakefile;',
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
536 hello_linked, 'Ljava/io/File;', all_dep_decls)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
537
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
538 dex_sort_sorted_arrays(hello_linked)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
539
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
540 pairs = map(None, hello_linked.protoIds.items[:-1],
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
541 hello_linked.protoIds.items[1:])
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
542 for idx, (protoid0, protoid1) in enumerate(pairs):
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
543 try:
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
544 assert protoid0 < protoid1
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
545 except:
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
546 print 'ERROR: protoid %d is out of order' % (idx + 1)
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
547 raise
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
548 pass
b488ca519709 Make sure elements are absolute incremental for sorted arrays when injecting.
Thinker K.F. Li <thinker@codemud.net>
parents: 132
diff changeset
549 pass
136
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
550
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
551 ## \brief Test case for issue of bad offset list in _DEX_AnnotationSetItem.
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
552 #
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
553 # Values of _DEX_AnnotationSetItem.annotationOffs is corrupted after
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
554 # injection.
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
555 # \pre
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
556 # E/dalvikvm( 300): No data map entry found @ 0xf31; expected 2004
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
557 # E/dalvikvm( 300): Trouble with item 0 @ offset 0x5c0
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
558 # E/dalvikvm( 300): Cross-item verify of section type 1003 failed
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
559 # E/dalvikvm( 300): ERROR: Byte swap + verify failed
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
560 # E/dalvikvm( 300): Optimization failed
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
561 #
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
562 # It must be the issue that back_type of an array can not be a \ref depend.
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
563 #
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
564 def annotation_set_items_verify_test():
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
565 from paraspace.dex_deptracker import prepare_dep_decls
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
566 from paraspace.dex_deptracker import dex_sort_sorted_arrays
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
567 from paraspace.injection import inject_redir_no_restore
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
568
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
569 _install_dexfile_4_deptracker()
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
570
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
571 all_dep_decls = prepare_dep_decls()
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
572
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
573 srcdir = os.path.dirname(__file__)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
574 datapath = os.path.join(srcdir, '..', '..', 'data')
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
575
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
576 fake_path = os.path.join(datapath, 'fakefile.dex')
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
577 hello_path = os.path.join(datapath, 'helloworld.dex')
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
578
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
579 fake_dex = dexfile.DEXFile.open(fake_path)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
580 fake_linked = dexfile.DEXFile_linked.build_dependencies(fake_dex,
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
581 all_dep_decls)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
582
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
583 hello_dex = dexfile.DEXFile.open(hello_path)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
584 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
585 all_dep_decls)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
586
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
587 inject_redir_no_restore(fake_linked, 'Lcom/codemud/fakefile/fakefile;',
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
588 hello_linked, 'Ljava/io/File;', all_dep_decls)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
589
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
590 dex_sort_sorted_arrays(hello_linked)
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
591
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
592 for setitem in hello_linked.annotationSetItems.items:
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
593 for anno in setitem.annotationOffs.items:
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
594 assert anno.offset in hello_linked.annotationItems.items
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
595 pass
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
596 pass
f31bfe55d9c2 Fix issue of corrupted offset list in _DEX_AnnotationSetItem after injection
Thinker K.F. Li <thinker@codemud.net>
parents: 135
diff changeset
597 pass
137
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
598
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
599
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
600 ## \brief Test case for dalvik complaining fail to verify code.
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
601 #
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
602 # W/dalvikvm( 317): VFY: expected 1 args, found more (I)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
603 # W/dalvikvm( 317): VFY: rejecting call to Landroid/app/Activity;\
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
604 # .setContentView (I)V
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
605 # W/dalvikvm( 317): VFY: rejecting opcode 0x6e at 0x0006
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
606 # W/dalvikvm( 317): VFY: rejected Lcom/codemud/helloworld/helloworld;\
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
607 # .onClick (Landroid/view/View;)V
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
608 # W/dalvikvm( 317): Verifier rejected class Lcom/codemud/helloworld/\
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
609 # helloworld;
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
610 # W/dalvikvm( 317): Class init failed in newInstance call (Lcom/codemud/\
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
611 # helloworl
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
612 #
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
613 # DEXFile.methodIds is a sorted array. The indices of _DEX_MethodIds would
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
614 # be changed after injection and sorting, dex_sort_sorted_arrays().
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
615 # It means indices in code blocks are invalid. So, code blocks must be
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
616 # rewrote with valid indices.
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
617 #
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
618 def code_verify_test():
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
619 from paraspace.dex_deptracker import prepare_dep_decls
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
620 from paraspace.injection import dex_sort_sorted_arrays_consistent
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
621 from paraspace.injection import inject_redir_no_restore
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
622 from paraspace.dalvik_opcodes import decode_insn_blk
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
623
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
624 _install_dexfile_4_deptracker()
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
625
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
626 all_dep_decls = prepare_dep_decls()
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
627
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
628 srcdir = os.path.dirname(__file__)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
629 datapath = os.path.join(srcdir, '..', '..', 'data')
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
630
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
631 fake_path = os.path.join(datapath, 'fakefile.dex')
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
632 hello_path = os.path.join(datapath, 'helloworld.dex')
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
633
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
634 fake_dex = dexfile.DEXFile.open(fake_path)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
635 fake_linked = dexfile.DEXFile_linked.build_dependencies(fake_dex,
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
636 all_dep_decls)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
637
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
638 hello_dex = dexfile.DEXFile.open(hello_path)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
639 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
640 all_dep_decls)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
641
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
642 helloworld_typeid = \
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
643 hello_linked.find_typeid_name('Lcom/codemud/helloworld/helloworld;')
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
644 helloworld_methodids = \
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
645 hello_linked.find_methodids_typeid(helloworld_typeid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
646 for methodid in helloworld_methodids:
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
647 methodname = hello_linked.get_methodid_name(methodid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
648 if methodname == 'onClick':
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
649 methodidx = hello_linked.get_idx_methodid(methodid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
650 method = hello_linked.find_method_idx(methodidx)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
651 blk = dexfile.DEXFile_linked.get_code_block_method(method)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
652 opvectors = decode_insn_blk(blk)
138
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
653 methodidx = opvectors[4][1][2]
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
654 saved_methodid0 = hello_linked.find_methodid_idx(methodidx)
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
655 methodidx = opvectors[12][1][1]
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
656 saved_methodid1 = hello_linked.find_methodid_idx(methodidx)
139
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
657 elif methodname == 'write_file':
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
658 assert methodid in hello_linked.methodIds.items
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
659 methodidx = hello_linked.get_idx_methodid(methodid)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
660 method = hello_linked.find_method_idx(methodidx)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
661 blk = dexfile.DEXFile_linked.get_code_block_method(method)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
662 opvectors = decode_insn_blk(blk)
137
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
663 pass
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
664 pass
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
665
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
666 inject_redir_no_restore(fake_linked, 'Lcom/codemud/fakefile/fakefile;',
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
667 hello_linked, 'Ljava/io/File;', all_dep_decls)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
668 dex_sort_sorted_arrays_consistent(hello_linked)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
669
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
670 for methodid in hello_linked.methodIds.items:
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
671 methodname = hello_linked.get_methodid_name(methodid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
672 if methodname == 'setContentView':
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
673 protoid = methodid.protoIdx
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
674 sig = hello_linked.dump_protoid(protoid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
675 assert sig == '(I) --> V'
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
676 pass
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
677 pass
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
678
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
679 helloworld_typeid = \
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
680 hello_linked.find_typeid_name('Lcom/codemud/helloworld/helloworld;')
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
681 helloworld_methodids = \
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
682 hello_linked.find_methodids_typeid(helloworld_typeid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
683 for methodid in helloworld_methodids:
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
684 methodname = hello_linked.get_methodid_name(methodid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
685 if methodname == 'onClick':
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
686 methodidx = hello_linked.get_idx_methodid(methodid)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
687 method = hello_linked.find_method_idx(methodidx)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
688 blk = dexfile.DEXFile_linked.get_code_block_method(method)
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
689 opvectors = decode_insn_blk(blk)
138
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
690 methodidx = opvectors[4][1][2]
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
691 new_methodid0 = hello_linked.find_methodid_idx(methodidx)
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
692 assert new_methodid0 is saved_methodid0
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
693 methodidx = opvectors[12][1][1]
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
694 new_methodid1 = hello_linked.find_methodid_idx(methodidx)
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
695 assert saved_methodid1 in hello_linked.methodIds.items
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
696 assert new_methodid1 in hello_linked.methodIds.items
372009418896 Fix bug of redirect methodid for XXX_RANGE istructions
Thinker K.F. Li <thinker@codemud.net>
parents: 137
diff changeset
697 assert new_methodid1 is saved_methodid1
137
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
698 pass
139
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
699 elif methodname == 'write_file':
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
700 assert methodid in hello_linked.methodIds.items
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
701 methodidx = hello_linked.get_idx_methodid(methodid)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
702 method = hello_linked.find_method_idx(methodidx)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
703 blk = dexfile.DEXFile_linked.get_code_block_method(method)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
704 opvectors = decode_insn_blk(blk)
144
46e40afd4558 Fix bug of typo in dex_sort_sorted_arrays_consistent()
Thinker K.F. Li <thinker@codemud.net>
parents: 143
diff changeset
705 # Check correctness of typeid of a new_instance.
46e40afd4558 Fix bug of typo in dex_sort_sorted_arrays_consistent()
Thinker K.F. Li <thinker@codemud.net>
parents: 143
diff changeset
706 # This is an error of dex_sort_sorted_arrays_consistent().
46e40afd4558 Fix bug of typo in dex_sort_sorted_arrays_consistent()
Thinker K.F. Li <thinker@codemud.net>
parents: 143
diff changeset
707 assert opvectors[2][1][1] < len(hello_linked.typeIds.items)
139
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
708 pass
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
709 pass
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
710 pass
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
711
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
712
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
713 ## \brief Test case for checking methods of classdatas are consistent.
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
714 #
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
715 # Becase space optimization, DEX ecnode value for method indices
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
716 # in \ref _DEX_Method. This test case make sure build_dependencies()
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
717 # decode indices correctly.
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
718 #
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
719 # \see _deoptimize_classdata
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
720 #
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
721 def class_methods_consistent_test():
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
722 from paraspace.dex_deptracker import prepare_dep_decls
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
723
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
724 _install_dexfile_4_deptracker()
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
725
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
726 all_dep_decls = prepare_dep_decls()
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
727
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
728 srcdir = os.path.dirname(__file__)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
729 datapath = os.path.join(srcdir, '..', '..', 'data')
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
730
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
731 hello_path = os.path.join(datapath, 'helloworld.dex')
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
732
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
733 hello_dex = dexfile.DEXFile.open(hello_path)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
734
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
735 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
736 all_dep_decls)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
737
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
738 for classdata in hello_linked.classDatas.items:
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
739 allmethods = classdata.directMethods.items + \
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
740 classdata.virtualMethods.items
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
741 if len(allmethods) < 2:
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
742 continue
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
743
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
744 firstmethod = allmethods[0]
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
745 firstmethodid = firstmethod.methodIdx
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
746 for idx, method in enumerate(allmethods[1:]):
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
747 try:
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
748 assert method.methodIdx.classIdx == firstmethodid.classIdx
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
749 except:
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
750 print 'ERROR: method %d' % (idx + 1)
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
751 raise
0704e23009e4 Fix bug of not dealing encoded method indices.
Thinker K.F. Li <thinker@codemud.net>
parents: 138
diff changeset
752 pass
137
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
753 pass
987fead83ce3 Fix issue that dalvik complaining fail to verify code.
Thinker K.F. Li <thinker@codemud.net>
parents: 136
diff changeset
754 pass
142
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
755
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
756
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
757 ## \brief Test case for getting negative indices in _DEX_ClassDAta.
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
758 #
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
759 # It, possibly, caused by appling _optimize_classdata() at end of
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
760 # restore_dependencies(). But, value was comes from
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
761 # depend_idx_rel.get_value(). It already deoptimize the value.
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
762 #
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
763 def negative_depend_idx_rel_test():
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
764 from paraspace.dex_deptracker import prepare_dep_decls
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
765 from paraspace.dex_deptracker import dex_sort_sorted_arrays
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
766 from paraspace.injection import inject_redir
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
767
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
768 _install_dexfile_4_deptracker()
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
769
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
770 all_dep_decls = prepare_dep_decls()
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
771
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
772 srcdir = os.path.dirname(__file__)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
773 datapath = os.path.join(srcdir, '..', '..', 'data')
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
774
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
775 fake_path = os.path.join(datapath, 'fakefile.dex')
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
776 hello_path = os.path.join(datapath, 'helloworld.dex')
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
777
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
778 fake_dex = dexfile.DEXFile.open(fake_path)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
779 fake_linked = dexfile.DEXFile_linked.build_dependencies(fake_dex,
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
780 all_dep_decls)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
781
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
782 hello_dex = dexfile.DEXFile.open(hello_path)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
783 hello_linked = dexfile.DEXFile_linked.build_dependencies(hello_dex,
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
784 all_dep_decls)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
785
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
786 inject_redir(fake_linked, 'Lcom/codemud/fakefile/fakefile;',
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
787 hello_linked, 'Ljava/io/File;', all_dep_decls)
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
788
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
789 hello_linked.to_str()
50d09eba5166 Fix the issue of getting negative indices for _DEX_ClassData.
Thinker K.F. Li <thinker@codemud.net>
parents: 141
diff changeset
790 pass