paul@137 | 1 | #!/usr/bin/env python |
paul@137 | 2 | |
paul@137 | 3 | """ |
paul@137 | 4 | Java class file decoder. Specification found at the following URL: |
paul@137 | 5 | http://java.sun.com/docs/books/vmspec/2nd-edition/html/ClassFile.doc.html |
paul@137 | 6 | """ |
paul@137 | 7 | |
paul@137 | 8 | import struct # for general decoding of class files |
paul@137 | 9 | |
paul@137 | 10 | # Utility functions. |
paul@137 | 11 | |
paul@137 | 12 | def u1(data): |
paul@137 | 13 | return struct.unpack(">B", data[0:1])[0] |
paul@137 | 14 | |
paul@137 | 15 | def u2(data): |
paul@137 | 16 | return struct.unpack(">H", data[0:2])[0] |
paul@137 | 17 | |
paul@137 | 18 | def s2(data): |
paul@137 | 19 | return struct.unpack(">h", data[0:2])[0] |
paul@137 | 20 | |
paul@137 | 21 | def u4(data): |
paul@137 | 22 | return struct.unpack(">L", data[0:4])[0] |
paul@137 | 23 | |
paul@137 | 24 | def s4(data): |
paul@137 | 25 | return struct.unpack(">l", data[0:4])[0] |
paul@137 | 26 | |
paul@137 | 27 | def s8(data): |
paul@137 | 28 | return struct.unpack(">q", data[0:8])[0] |
paul@137 | 29 | |
paul@137 | 30 | def f4(data): |
paul@137 | 31 | return struct.unpack(">f", data[0:4])[0] |
paul@137 | 32 | |
paul@137 | 33 | def f8(data): |
paul@137 | 34 | return struct.unpack(">d", data[0:8])[0] |
paul@137 | 35 | |
paul@185 | 36 | def su1(value): |
paul@185 | 37 | return struct.pack(">B", value) |
paul@185 | 38 | |
paul@185 | 39 | def su2(value): |
paul@185 | 40 | return struct.pack(">H", value) |
paul@185 | 41 | |
paul@185 | 42 | def ss2(value): |
paul@185 | 43 | return struct.pack(">h", value) |
paul@185 | 44 | |
paul@185 | 45 | def su4(value): |
paul@185 | 46 | return struct.pack(">L", value) |
paul@185 | 47 | |
paul@185 | 48 | def ss4(value): |
paul@185 | 49 | return struct.pack(">l", value) |
paul@185 | 50 | |
paul@185 | 51 | def ss8(value): |
paul@185 | 52 | return struct.pack(">q", value) |
paul@185 | 53 | |
paul@185 | 54 | def sf4(value): |
paul@185 | 55 | return struct.pack(">f", value) |
paul@185 | 56 | |
paul@185 | 57 | def sf8(value): |
paul@185 | 58 | return struct.pack(">d", value) |
paul@185 | 59 | |
paul@137 | 60 | # Useful tables and constants. |
paul@137 | 61 | |
paul@137 | 62 | descriptor_base_type_mapping = { |
paul@137 | 63 | "B" : "int", |
paul@137 | 64 | "C" : "str", |
paul@137 | 65 | "D" : "float", |
paul@137 | 66 | "F" : "float", |
paul@137 | 67 | "I" : "int", |
paul@137 | 68 | "J" : "int", |
paul@137 | 69 | "L" : "object", |
paul@137 | 70 | "S" : "int", |
paul@137 | 71 | "Z" : "bool", |
paul@137 | 72 | "[" : "list" |
paul@137 | 73 | } |
paul@137 | 74 | |
paul@141 | 75 | type_names_to_default_values = { |
paul@141 | 76 | "int" : 0, |
paul@141 | 77 | "str" : u"", |
paul@141 | 78 | "float" : 0.0, |
paul@141 | 79 | "object" : None, |
paul@141 | 80 | "bool" : 0, # NOTE: Should be False. |
paul@141 | 81 | "list" : [] |
paul@141 | 82 | } |
paul@141 | 83 | |
paul@141 | 84 | def get_default_for_type(type_name): |
paul@141 | 85 | global type_names_to_default_values |
paul@141 | 86 | return type_names_to_default_values.get(type_name) |
paul@141 | 87 | |
paul@137 | 88 | PUBLIC, PRIVATE, PROTECTED, STATIC, FINAL, SUPER, SYNCHRONIZED, VOLATILE, TRANSIENT, NATIVE, INTERFACE, ABSTRACT, STRICT = \ |
paul@137 | 89 | 0x0001, 0x0002, 0x0004, 0x0008, 0x0010, 0x0020, 0x0020, 0x0040, 0x0080, 0x0100, 0x0200, 0x0400, 0x0800 |
paul@137 | 90 | |
paul@137 | 91 | def has_flags(flags, desired): |
paul@137 | 92 | desired_flags = reduce(lambda a, b: a | b, desired, 0) |
paul@137 | 93 | return (flags & desired_flags) == desired_flags |
paul@137 | 94 | |
paul@137 | 95 | # Useful mix-ins. |
paul@137 | 96 | |
paul@137 | 97 | class PythonMethodUtils: |
paul@137 | 98 | symbol_sep = "___" # was "$" |
paul@137 | 99 | type_sep = "__" # replaces "/" |
paul@137 | 100 | array_sep = "_array_" # was "[]" |
paul@137 | 101 | base_seps = ("_", "_") # was "<" and ">" |
paul@137 | 102 | |
paul@137 | 103 | def get_unqualified_python_name(self): |
paul@137 | 104 | name = self.get_name() |
paul@137 | 105 | if str(name) == "<init>": |
paul@137 | 106 | return "__init__" |
paul@137 | 107 | elif str(name) == "<clinit>": |
paul@137 | 108 | return "__clinit__" |
paul@137 | 109 | else: |
paul@137 | 110 | return str(name) |
paul@137 | 111 | |
paul@137 | 112 | def get_python_name(self): |
paul@137 | 113 | name = self.get_unqualified_python_name() |
paul@137 | 114 | if name == "__clinit__": |
paul@137 | 115 | return name |
paul@137 | 116 | return name + self.symbol_sep + self._get_descriptor_as_name() |
paul@137 | 117 | |
paul@137 | 118 | def _get_descriptor_as_name(self): |
paul@137 | 119 | l = [] |
paul@137 | 120 | for descriptor_type in self.get_descriptor()[0]: |
paul@137 | 121 | l.append(self._get_type_as_name(descriptor_type)) |
paul@137 | 122 | return self.symbol_sep.join(l) |
paul@137 | 123 | |
paul@137 | 124 | def _get_type_as_name(self, descriptor_type, s=""): |
paul@137 | 125 | base_type, object_type, array_type = descriptor_type |
paul@137 | 126 | if base_type == "L": |
paul@137 | 127 | return object_type.replace("/", self.type_sep) + s |
paul@137 | 128 | elif base_type == "[": |
paul@137 | 129 | return self._get_type_as_name(array_type, s + self.array_sep) |
paul@137 | 130 | else: |
paul@137 | 131 | return self.base_seps[0] + base_type + self.base_seps[1] + s |
paul@137 | 132 | |
paul@137 | 133 | class PythonNameUtils: |
paul@137 | 134 | def get_python_name(self): |
paul@137 | 135 | # NOTE: This may not be comprehensive. |
paul@137 | 136 | if not str(self.get_name()).startswith("["): |
paul@137 | 137 | return str(self.get_name()).replace("/", ".") |
paul@137 | 138 | else: |
paul@137 | 139 | return self._get_type_name( |
paul@137 | 140 | get_field_descriptor( |
paul@137 | 141 | str(self.get_name()) |
paul@137 | 142 | ) |
paul@137 | 143 | ).replace("/", ".") |
paul@137 | 144 | |
paul@137 | 145 | def _get_type_name(self, descriptor_type): |
paul@137 | 146 | base_type, object_type, array_type = descriptor_type |
paul@137 | 147 | if base_type == "L": |
paul@137 | 148 | return object_type |
paul@137 | 149 | elif base_type == "[": |
paul@137 | 150 | return self._get_type_name(array_type) |
paul@137 | 151 | else: |
paul@137 | 152 | return descriptor_base_type_mapping[base_type] |
paul@137 | 153 | |
paul@137 | 154 | class NameUtils: |
paul@137 | 155 | def get_name(self): |
paul@137 | 156 | if self.name_index != 0: |
paul@137 | 157 | return self.class_file.constants[self.name_index - 1] |
paul@137 | 158 | else: |
paul@137 | 159 | # Some name indexes are zero to indicate special conditions. |
paul@137 | 160 | return None |
paul@137 | 161 | |
paul@137 | 162 | class NameAndTypeUtils: |
paul@137 | 163 | def get_name(self): |
paul@137 | 164 | if self.name_and_type_index != 0: |
paul@137 | 165 | return self.class_file.constants[self.name_and_type_index - 1].get_name() |
paul@137 | 166 | else: |
paul@137 | 167 | # Some name indexes are zero to indicate special conditions. |
paul@137 | 168 | return None |
paul@137 | 169 | |
paul@137 | 170 | def get_field_descriptor(self): |
paul@137 | 171 | if self.name_and_type_index != 0: |
paul@137 | 172 | return self.class_file.constants[self.name_and_type_index - 1].get_field_descriptor() |
paul@137 | 173 | else: |
paul@137 | 174 | # Some name indexes are zero to indicate special conditions. |
paul@137 | 175 | return None |
paul@137 | 176 | |
paul@137 | 177 | def get_method_descriptor(self): |
paul@137 | 178 | if self.name_and_type_index != 0: |
paul@137 | 179 | return self.class_file.constants[self.name_and_type_index - 1].get_method_descriptor() |
paul@137 | 180 | else: |
paul@137 | 181 | # Some name indexes are zero to indicate special conditions. |
paul@137 | 182 | return None |
paul@137 | 183 | |
paul@137 | 184 | def get_class(self): |
paul@137 | 185 | return self.class_file.constants[self.class_index - 1] |
paul@137 | 186 | |
paul@137 | 187 | # Symbol parsing. |
paul@137 | 188 | |
paul@137 | 189 | def get_method_descriptor(s): |
paul@137 | 190 | assert s[0] == "(" |
paul@137 | 191 | params = [] |
paul@137 | 192 | s = s[1:] |
paul@137 | 193 | while s[0] != ")": |
paul@137 | 194 | parameter_descriptor, s = _get_parameter_descriptor(s) |
paul@137 | 195 | params.append(parameter_descriptor) |
paul@137 | 196 | if s[1] != "V": |
paul@137 | 197 | return_type, s = _get_field_type(s[1:]) |
paul@137 | 198 | else: |
paul@137 | 199 | return_type, s = None, s[1:] |
paul@137 | 200 | return params, return_type |
paul@137 | 201 | |
paul@137 | 202 | def get_field_descriptor(s): |
paul@137 | 203 | return _get_field_type(s)[0] |
paul@137 | 204 | |
paul@137 | 205 | def _get_parameter_descriptor(s): |
paul@137 | 206 | return _get_field_type(s) |
paul@137 | 207 | |
paul@137 | 208 | def _get_component_type(s): |
paul@137 | 209 | return _get_field_type(s) |
paul@137 | 210 | |
paul@137 | 211 | def _get_field_type(s): |
paul@137 | 212 | base_type, s = _get_base_type(s) |
paul@137 | 213 | object_type = None |
paul@137 | 214 | array_type = None |
paul@137 | 215 | if base_type == "L": |
paul@137 | 216 | object_type, s = _get_object_type(s) |
paul@137 | 217 | elif base_type == "[": |
paul@137 | 218 | array_type, s = _get_array_type(s) |
paul@137 | 219 | return (base_type, object_type, array_type), s |
paul@137 | 220 | |
paul@137 | 221 | def _get_base_type(s): |
paul@137 | 222 | if len(s) > 0: |
paul@137 | 223 | return s[0], s[1:] |
paul@137 | 224 | else: |
paul@137 | 225 | return None, s |
paul@137 | 226 | |
paul@137 | 227 | def _get_object_type(s): |
paul@137 | 228 | if len(s) > 0: |
paul@137 | 229 | s_end = s.find(";") |
paul@137 | 230 | assert s_end != -1 |
paul@137 | 231 | return s[:s_end], s[s_end+1:] |
paul@137 | 232 | else: |
paul@137 | 233 | return None, s |
paul@137 | 234 | |
paul@137 | 235 | def _get_array_type(s): |
paul@137 | 236 | if len(s) > 0: |
paul@137 | 237 | return _get_component_type(s) |
paul@137 | 238 | else: |
paul@137 | 239 | return None, s |
paul@137 | 240 | |
paul@137 | 241 | # Constant information. |
paul@137 | 242 | |
paul@137 | 243 | class ClassInfo(NameUtils, PythonNameUtils): |
paul@137 | 244 | def init(self, data, class_file): |
paul@137 | 245 | self.class_file = class_file |
paul@137 | 246 | self.name_index = u2(data[0:2]) |
paul@137 | 247 | return data[2:] |
paul@185 | 248 | def serialize(self): |
paul@185 | 249 | return su2(self.name_index) |
paul@137 | 250 | |
paul@137 | 251 | class RefInfo(NameAndTypeUtils): |
paul@137 | 252 | def init(self, data, class_file): |
paul@137 | 253 | self.class_file = class_file |
paul@137 | 254 | self.class_index = u2(data[0:2]) |
paul@137 | 255 | self.name_and_type_index = u2(data[2:4]) |
paul@137 | 256 | return data[4:] |
paul@185 | 257 | def serialize(self): |
paul@185 | 258 | return su2(self.class_index)+su2(self.name_and_type_index) |
paul@137 | 259 | |
paul@137 | 260 | class FieldRefInfo(RefInfo, PythonNameUtils): |
paul@137 | 261 | def get_descriptor(self): |
paul@137 | 262 | return RefInfo.get_field_descriptor(self) |
paul@137 | 263 | |
paul@137 | 264 | class MethodRefInfo(RefInfo, PythonMethodUtils): |
paul@137 | 265 | def get_descriptor(self): |
paul@137 | 266 | return RefInfo.get_method_descriptor(self) |
paul@137 | 267 | |
paul@137 | 268 | class InterfaceMethodRefInfo(MethodRefInfo): |
paul@137 | 269 | pass |
paul@137 | 270 | |
paul@137 | 271 | class NameAndTypeInfo(NameUtils, PythonNameUtils): |
paul@137 | 272 | def init(self, data, class_file): |
paul@137 | 273 | self.class_file = class_file |
paul@137 | 274 | self.name_index = u2(data[0:2]) |
paul@137 | 275 | self.descriptor_index = u2(data[2:4]) |
paul@137 | 276 | return data[4:] |
paul@137 | 277 | |
paul@185 | 278 | def serialize(self): |
paul@185 | 279 | return su2(self.name_index)+su2(self.descriptor_index) |
paul@185 | 280 | |
paul@137 | 281 | def get_field_descriptor(self): |
paul@137 | 282 | return get_field_descriptor(unicode(self.class_file.constants[self.descriptor_index - 1])) |
paul@137 | 283 | |
paul@137 | 284 | def get_method_descriptor(self): |
paul@137 | 285 | return get_method_descriptor(unicode(self.class_file.constants[self.descriptor_index - 1])) |
paul@137 | 286 | |
paul@137 | 287 | class Utf8Info: |
paul@137 | 288 | def init(self, data, class_file): |
paul@137 | 289 | self.class_file = class_file |
paul@137 | 290 | self.length = u2(data[0:2]) |
paul@137 | 291 | self.bytes = data[2:2+self.length] |
paul@137 | 292 | return data[2+self.length:] |
paul@137 | 293 | |
paul@185 | 294 | def serialize(self): |
paul@185 | 295 | return su2(self.length)+self.bytes |
paul@185 | 296 | |
paul@137 | 297 | def __str__(self): |
paul@137 | 298 | return self.bytes |
paul@137 | 299 | |
paul@137 | 300 | def __unicode__(self): |
paul@137 | 301 | return unicode(self.bytes, "utf-8") |
paul@137 | 302 | |
paul@137 | 303 | def get_value(self): |
paul@137 | 304 | return str(self) |
paul@137 | 305 | |
paul@137 | 306 | class StringInfo: |
paul@137 | 307 | def init(self, data, class_file): |
paul@137 | 308 | self.class_file = class_file |
paul@137 | 309 | self.string_index = u2(data[0:2]) |
paul@137 | 310 | return data[2:] |
paul@137 | 311 | |
paul@185 | 312 | def serialize(self): |
paul@185 | 313 | return su2(self.string_index) |
paul@185 | 314 | |
paul@137 | 315 | def __str__(self): |
paul@137 | 316 | return str(self.class_file.constants[self.string_index - 1]) |
paul@137 | 317 | |
paul@137 | 318 | def __unicode__(self): |
paul@137 | 319 | return unicode(self.class_file.constants[self.string_index - 1]) |
paul@137 | 320 | |
paul@137 | 321 | def get_value(self): |
paul@137 | 322 | return str(self) |
paul@137 | 323 | |
paul@137 | 324 | class SmallNumInfo: |
paul@137 | 325 | def init(self, data, class_file): |
paul@137 | 326 | self.class_file = class_file |
paul@137 | 327 | self.bytes = data[0:4] |
paul@137 | 328 | return data[4:] |
paul@185 | 329 | def serialize(self): |
paul@185 | 330 | return self.bytes |
paul@137 | 331 | |
paul@137 | 332 | class IntegerInfo(SmallNumInfo): |
paul@137 | 333 | def get_value(self): |
paul@137 | 334 | return s4(self.bytes) |
paul@137 | 335 | |
paul@137 | 336 | class FloatInfo(SmallNumInfo): |
paul@137 | 337 | def get_value(self): |
paul@137 | 338 | return f4(self.bytes) |
paul@137 | 339 | |
paul@137 | 340 | class LargeNumInfo: |
paul@137 | 341 | def init(self, data, class_file): |
paul@137 | 342 | self.class_file = class_file |
paul@137 | 343 | self.high_bytes = data[0:4] |
paul@137 | 344 | self.low_bytes = data[4:8] |
paul@137 | 345 | return data[8:] |
paul@185 | 346 | def serialize(self): |
paul@185 | 347 | return self.high_bytes+self.low_bytes |
paul@185 | 348 | |
paul@137 | 349 | |
paul@137 | 350 | class LongInfo(LargeNumInfo): |
paul@137 | 351 | def get_value(self): |
paul@137 | 352 | return s8(self.high_bytes + self.low_bytes) |
paul@137 | 353 | |
paul@137 | 354 | class DoubleInfo(LargeNumInfo): |
paul@137 | 355 | def get_value(self): |
paul@137 | 356 | return f8(self.high_bytes + self.low_bytes) |
paul@137 | 357 | |
paul@137 | 358 | # Other information. |
paul@137 | 359 | # Objects of these classes are generally aware of the class they reside in. |
paul@137 | 360 | |
paul@137 | 361 | class ItemInfo(NameUtils): |
paul@137 | 362 | def init(self, data, class_file): |
paul@137 | 363 | self.class_file = class_file |
paul@137 | 364 | self.access_flags = u2(data[0:2]) |
paul@137 | 365 | self.name_index = u2(data[2:4]) |
paul@137 | 366 | self.descriptor_index = u2(data[4:6]) |
paul@137 | 367 | self.attributes, data = self.class_file._get_attributes(data[6:]) |
paul@137 | 368 | return data |
paul@185 | 369 | def serialize(self): |
paul@185 | 370 | od = su2(self.access_flags)+su2(self.name_index)+su2(self.descriptor_index) |
paul@185 | 371 | od += self.class_file._serialize_attributes(self.attributes) |
paul@185 | 372 | return od |
paul@137 | 373 | |
paul@137 | 374 | class FieldInfo(ItemInfo, PythonNameUtils): |
paul@137 | 375 | def get_descriptor(self): |
paul@137 | 376 | return get_field_descriptor(unicode(self.class_file.constants[self.descriptor_index - 1])) |
paul@137 | 377 | |
paul@137 | 378 | class MethodInfo(ItemInfo, PythonMethodUtils): |
paul@137 | 379 | def get_descriptor(self): |
paul@137 | 380 | return get_method_descriptor(unicode(self.class_file.constants[self.descriptor_index - 1])) |
paul@137 | 381 | |
paul@137 | 382 | class AttributeInfo: |
paul@137 | 383 | def init(self, data, class_file): |
paul@137 | 384 | self.attribute_length = u4(data[0:4]) |
paul@137 | 385 | self.info = data[4:4+self.attribute_length] |
paul@137 | 386 | return data[4+self.attribute_length:] |
paul@185 | 387 | def serialize(self): |
paul@185 | 388 | return su4(self.attribute_length)+self.info |
paul@137 | 389 | |
paul@137 | 390 | # NOTE: Decode the different attribute formats. |
paul@137 | 391 | |
paul@137 | 392 | class SourceFileAttributeInfo(AttributeInfo, NameUtils, PythonNameUtils): |
paul@137 | 393 | def init(self, data, class_file): |
paul@137 | 394 | self.class_file = class_file |
paul@137 | 395 | self.attribute_length = u4(data[0:4]) |
paul@137 | 396 | # Permit the NameUtils mix-in. |
paul@137 | 397 | self.name_index = self.sourcefile_index = u2(data[4:6]) |
paul@137 | 398 | return data[6:] |
paul@185 | 399 | def serialize(self): |
paul@185 | 400 | return su4(self.attribute_length)+su2(self.name_index) |
paul@137 | 401 | |
paul@137 | 402 | class ConstantValueAttributeInfo(AttributeInfo): |
paul@137 | 403 | def init(self, data, class_file): |
paul@137 | 404 | self.class_file = class_file |
paul@137 | 405 | self.attribute_length = u4(data[0:4]) |
paul@137 | 406 | self.constant_value_index = u2(data[4:6]) |
paul@137 | 407 | assert 4+self.attribute_length == 6 |
paul@137 | 408 | return data[4+self.attribute_length:] |
paul@137 | 409 | |
paul@137 | 410 | def get_value(self): |
paul@137 | 411 | return self.class_file.constants[self.constant_value_index - 1].get_value() |
paul@137 | 412 | |
paul@185 | 413 | def serialize(self): |
paul@185 | 414 | return su4(self.attribute_length)+su2(self.constant_value_index) |
paul@185 | 415 | |
paul@137 | 416 | class CodeAttributeInfo(AttributeInfo): |
paul@137 | 417 | def init(self, data, class_file): |
paul@137 | 418 | self.class_file = class_file |
paul@137 | 419 | self.attribute_length = u4(data[0:4]) |
paul@137 | 420 | self.max_stack = u2(data[4:6]) |
paul@137 | 421 | self.max_locals = u2(data[6:8]) |
paul@137 | 422 | self.code_length = u4(data[8:12]) |
paul@137 | 423 | end_of_code = 12+self.code_length |
paul@137 | 424 | self.code = data[12:end_of_code] |
paul@137 | 425 | self.exception_table_length = u2(data[end_of_code:end_of_code+2]) |
paul@137 | 426 | self.exception_table = [] |
paul@137 | 427 | data = data[end_of_code + 2:] |
paul@137 | 428 | for i in range(0, self.exception_table_length): |
paul@137 | 429 | exception = ExceptionInfo() |
paul@137 | 430 | data = exception.init(data) |
paul@137 | 431 | self.exception_table.append(exception) |
paul@137 | 432 | self.attributes, data = self.class_file._get_attributes(data) |
paul@137 | 433 | return data |
paul@185 | 434 | def serialize(self): |
paul@185 | 435 | od = su4(self.attribute_length)+su2(self.max_stack)+su2(self.max_locals)+su4(self.code_length)+self.code |
paul@185 | 436 | od += su2(self.exception_table_length) |
paul@185 | 437 | for e in self.exception_table: |
paul@185 | 438 | od += e.serialize() |
paul@185 | 439 | od += self.class_file._serialize_attributes(self.attributes) |
paul@185 | 440 | return od |
paul@137 | 441 | |
paul@137 | 442 | class ExceptionsAttributeInfo(AttributeInfo): |
paul@137 | 443 | def init(self, data, class_file): |
paul@137 | 444 | self.class_file = class_file |
paul@137 | 445 | self.attribute_length = u4(data[0:4]) |
paul@137 | 446 | self.number_of_exceptions = u2(data[4:6]) |
paul@137 | 447 | self.exception_index_table = [] |
paul@137 | 448 | index = 6 |
paul@137 | 449 | for i in range(0, self.number_of_exceptions): |
paul@137 | 450 | self.exception_index_table.append(u2(data[index:index+2])) |
paul@137 | 451 | index += 2 |
paul@137 | 452 | return data[index:] |
paul@137 | 453 | |
paul@137 | 454 | def get_exception(self, i): |
paul@137 | 455 | exception_index = self.exception_index_table[i] |
paul@137 | 456 | return self.class_file.constants[exception_index - 1] |
paul@185 | 457 | |
paul@185 | 458 | def serialize(self): |
paul@185 | 459 | od = su4(self.attribute_length)+su2(self.number_of_exceptions) |
paul@185 | 460 | for ei in self.exception_index_table: |
paul@185 | 461 | od += su2(ei) |
paul@185 | 462 | return od |
paul@137 | 463 | |
paul@137 | 464 | class InnerClassesAttributeInfo(AttributeInfo): |
paul@137 | 465 | def init(self, data, class_file): |
paul@137 | 466 | self.class_file = class_file |
paul@137 | 467 | self.attribute_length = u4(data[0:4]) |
paul@137 | 468 | self.number_of_classes = u2(data[4:6]) |
paul@137 | 469 | self.classes = [] |
paul@137 | 470 | data = data[6:] |
paul@137 | 471 | for i in range(0, self.number_of_classes): |
paul@137 | 472 | inner_class = InnerClassInfo() |
paul@137 | 473 | data = inner_class.init(data, self.class_file) |
paul@137 | 474 | self.classes.append(inner_class) |
paul@137 | 475 | return data |
paul@137 | 476 | |
paul@185 | 477 | def serialize(self): |
paul@185 | 478 | od = su4(self.attribute_length)+su2(self.number_of_classes) |
paul@185 | 479 | for c in self.classes: |
paul@185 | 480 | od += c.serialize() |
paul@185 | 481 | return od |
paul@185 | 482 | |
paul@137 | 483 | class SyntheticAttributeInfo(AttributeInfo): |
paul@137 | 484 | pass |
paul@137 | 485 | |
paul@137 | 486 | class LineNumberAttributeInfo(AttributeInfo): |
paul@137 | 487 | def init(self, data, class_file): |
paul@137 | 488 | self.class_file = class_file |
paul@137 | 489 | self.attribute_length = u4(data[0:4]) |
paul@137 | 490 | self.line_number_table_length = u2(data[4:6]) |
paul@137 | 491 | self.line_number_table = [] |
paul@137 | 492 | data = data[6:] |
paul@137 | 493 | for i in range(0, self.line_number_table_length): |
paul@137 | 494 | line_number = LineNumberInfo() |
paul@137 | 495 | data = line_number.init(data) |
paul@137 | 496 | self.line_number_table.append(line_number) |
paul@137 | 497 | return data |
paul@185 | 498 | |
paul@185 | 499 | def serialize(self): |
paul@185 | 500 | od = su4(self.attribute_length)+su2(self.line_number_table_length) |
paul@185 | 501 | for ln in self.line_number_table: |
paul@185 | 502 | od += ln.serialize() |
paul@185 | 503 | return od |
paul@137 | 504 | |
paul@137 | 505 | class LocalVariableAttributeInfo(AttributeInfo): |
paul@137 | 506 | def init(self, data, class_file): |
paul@137 | 507 | self.class_file = class_file |
paul@137 | 508 | self.attribute_length = u4(data[0:4]) |
paul@137 | 509 | self.local_variable_table_length = u2(data[4:6]) |
paul@137 | 510 | self.local_variable_table = [] |
paul@137 | 511 | data = data[6:] |
paul@137 | 512 | for i in range(0, self.local_variable_table_length): |
paul@137 | 513 | local_variable = LocalVariableInfo() |
paul@137 | 514 | data = local_variable.init(data, self.class_file) |
paul@137 | 515 | self.local_variable_table.append(local_variable) |
paul@137 | 516 | return data |
paul@137 | 517 | |
paul@185 | 518 | def serialize(self): |
paul@185 | 519 | od = su4(self.attribute_length)+su2(self.local_variable_table_length) |
paul@185 | 520 | for lv in self.local_variable_table: |
paul@185 | 521 | od += lv.serialize() |
paul@185 | 522 | return od |
paul@185 | 523 | |
paul@137 | 524 | class DeprecatedAttributeInfo(AttributeInfo): |
paul@137 | 525 | pass |
paul@137 | 526 | |
paul@137 | 527 | # Child classes of the attribute information classes. |
paul@137 | 528 | |
paul@137 | 529 | class ExceptionInfo: |
paul@137 | 530 | def init(self, data): |
paul@137 | 531 | self.start_pc = u2(data[0:2]) |
paul@137 | 532 | self.end_pc = u2(data[2:4]) |
paul@137 | 533 | self.handler_pc = u2(data[4:6]) |
paul@137 | 534 | self.catch_type = u2(data[6:8]) |
paul@137 | 535 | return data[8:] |
paul@185 | 536 | def serialize(self): |
paul@185 | 537 | return su2(self.start_pc)+su2(self.end_pc)+su2(self.handler_pc)+su2(self.catch_type) |
paul@137 | 538 | |
paul@137 | 539 | class InnerClassInfo(NameUtils): |
paul@137 | 540 | def init(self, data, class_file): |
paul@137 | 541 | self.class_file = class_file |
paul@137 | 542 | self.inner_class_info_index = u2(data[0:2]) |
paul@137 | 543 | self.outer_class_info_index = u2(data[2:4]) |
paul@137 | 544 | # Permit the NameUtils mix-in. |
paul@137 | 545 | self.name_index = self.inner_name_index = u2(data[4:6]) |
paul@137 | 546 | self.inner_class_access_flags = u2(data[6:8]) |
paul@137 | 547 | return data[8:] |
paul@185 | 548 | def serialize(self): |
paul@185 | 549 | return su2(self.inner_class_info_index)+su2(self.outer_class_info_index)+su2(self.name_index)+su2(self.inner_class_access_flags) |
paul@137 | 550 | |
paul@137 | 551 | class LineNumberInfo: |
paul@137 | 552 | def init(self, data): |
paul@137 | 553 | self.start_pc = u2(data[0:2]) |
paul@137 | 554 | self.line_number = u2(data[2:4]) |
paul@137 | 555 | return data[4:] |
paul@185 | 556 | |
paul@185 | 557 | def serialize(self): |
paul@185 | 558 | return su2(self.start_pc)+su2(self.line_number) |
paul@137 | 559 | |
paul@137 | 560 | class LocalVariableInfo(NameUtils, PythonNameUtils): |
paul@137 | 561 | def init(self, data, class_file): |
paul@137 | 562 | self.class_file = class_file |
paul@137 | 563 | self.start_pc = u2(data[0:2]) |
paul@137 | 564 | self.length = u2(data[2:4]) |
paul@137 | 565 | self.name_index = u2(data[4:6]) |
paul@137 | 566 | self.descriptor_index = u2(data[6:8]) |
paul@137 | 567 | self.index = u2(data[8:10]) |
paul@137 | 568 | return data[10:] |
paul@137 | 569 | |
paul@137 | 570 | def get_descriptor(self): |
paul@137 | 571 | return get_field_descriptor(unicode(self.class_file.constants[self.descriptor_index - 1])) |
paul@185 | 572 | |
paul@185 | 573 | def serialize(self): |
paul@185 | 574 | return su2(self.start_pc)+su2(self.length)+su2(self.name_index)+su2(self.descriptor_index)+su2(self.index) |
paul@137 | 575 | |
paul@137 | 576 | # Exceptions. |
paul@137 | 577 | |
paul@137 | 578 | class UnknownTag(Exception): |
paul@137 | 579 | pass |
paul@137 | 580 | |
paul@137 | 581 | class UnknownAttribute(Exception): |
paul@137 | 582 | pass |
paul@137 | 583 | |
paul@137 | 584 | # Abstractions for the main structures. |
paul@137 | 585 | |
paul@137 | 586 | class ClassFile: |
paul@137 | 587 | |
paul@137 | 588 | "A class representing a Java class file." |
paul@137 | 589 | |
paul@137 | 590 | def __init__(self, s): |
paul@137 | 591 | |
paul@137 | 592 | """ |
paul@137 | 593 | Process the given string 's', populating the object with the class |
paul@137 | 594 | file's details. |
paul@137 | 595 | """ |
paul@137 | 596 | |
paul@185 | 597 | self.attribute_class_to_index = None |
paul@185 | 598 | self.minorv,self.majorv = u2(s[4:]),u2(s[6:]) |
paul@137 | 599 | self.constants, s = self._get_constants(s[8:]) |
paul@137 | 600 | self.access_flags, s = self._get_access_flags(s) |
paul@137 | 601 | self.this_class, s = self._get_this_class(s) |
paul@137 | 602 | self.super_class, s = self._get_super_class(s) |
paul@137 | 603 | self.interfaces, s = self._get_interfaces(s) |
paul@137 | 604 | self.fields, s = self._get_fields(s) |
paul@137 | 605 | self.methods, s = self._get_methods(s) |
paul@137 | 606 | self.attributes, s = self._get_attributes(s) |
paul@137 | 607 | |
paul@185 | 608 | def serialize(self): |
paul@185 | 609 | od = su4(0xCAFEBABE)+su2(self.minorv)+su2(self.majorv) |
paul@185 | 610 | od += self._serialize_constants() |
paul@185 | 611 | od += self._serialize_access_flags() |
paul@185 | 612 | od += self._serialize_this_class() |
paul@185 | 613 | od += self._serialize_super_class() |
paul@185 | 614 | od += self._serialize_interfaces() |
paul@185 | 615 | od += self._serialize_fields() |
paul@185 | 616 | od += self._serialize_methods() |
paul@185 | 617 | od += self._serialize_attributes(self.attributes) |
paul@185 | 618 | return od |
paul@185 | 619 | |
paul@185 | 620 | def _encode_const(self, c): |
paul@185 | 621 | od = '' |
paul@185 | 622 | if isinstance(c, Utf8Info): |
paul@185 | 623 | od += su1(1) |
paul@185 | 624 | elif isinstance(c, IntegerInfo): |
paul@185 | 625 | od += su1(3) |
paul@185 | 626 | elif isinstance(c, FloatInfo): |
paul@185 | 627 | od += su1(4) |
paul@185 | 628 | elif isinstance(c, LongInfo): |
paul@185 | 629 | od += su1(5) |
paul@185 | 630 | elif isinstance(c, DoubleInfo): |
paul@185 | 631 | od += su1(6) |
paul@185 | 632 | elif isinstance(c, ClassInfo): |
paul@185 | 633 | od += su1(7) |
paul@185 | 634 | elif isinstance(c, StringInfo): |
paul@185 | 635 | od += su1(8) |
paul@185 | 636 | elif isinstance(c, FieldRefInfo): |
paul@185 | 637 | od += su1(9) |
paul@185 | 638 | elif isinstance(c, MethodRefInfo): |
paul@185 | 639 | od += su1(10) |
paul@185 | 640 | elif isinstance(c, InterfaceMethodRefInfo): |
paul@185 | 641 | od += su1(11) |
paul@185 | 642 | elif isinstance(c, NameAndTypeInfo): |
paul@185 | 643 | od += su1(12) |
paul@185 | 644 | else: |
paul@185 | 645 | return od |
paul@185 | 646 | od += c.serialize() |
paul@185 | 647 | return od |
paul@185 | 648 | |
paul@137 | 649 | def _decode_const(self, s): |
paul@137 | 650 | tag = u1(s[0:1]) |
paul@137 | 651 | if tag == 1: |
paul@137 | 652 | const = Utf8Info() |
paul@137 | 653 | elif tag == 3: |
paul@137 | 654 | const = IntegerInfo() |
paul@137 | 655 | elif tag == 4: |
paul@137 | 656 | const = FloatInfo() |
paul@137 | 657 | elif tag == 5: |
paul@137 | 658 | const = LongInfo() |
paul@137 | 659 | elif tag == 6: |
paul@137 | 660 | const = DoubleInfo() |
paul@137 | 661 | elif tag == 7: |
paul@137 | 662 | const = ClassInfo() |
paul@137 | 663 | elif tag == 8: |
paul@137 | 664 | const = StringInfo() |
paul@137 | 665 | elif tag == 9: |
paul@137 | 666 | const = FieldRefInfo() |
paul@137 | 667 | elif tag == 10: |
paul@137 | 668 | const = MethodRefInfo() |
paul@137 | 669 | elif tag == 11: |
paul@137 | 670 | const = InterfaceMethodRefInfo() |
paul@137 | 671 | elif tag == 12: |
paul@137 | 672 | const = NameAndTypeInfo() |
paul@137 | 673 | else: |
paul@137 | 674 | raise UnknownTag, tag |
paul@137 | 675 | |
paul@137 | 676 | # Initialise the constant object. |
paul@137 | 677 | |
paul@137 | 678 | s = const.init(s[1:], self) |
paul@137 | 679 | return const, s |
paul@137 | 680 | |
paul@137 | 681 | def _get_constants_from_table(self, count, s): |
paul@137 | 682 | l = [] |
paul@137 | 683 | # Have to skip certain entries specially. |
paul@137 | 684 | i = 1 |
paul@137 | 685 | while i < count: |
paul@137 | 686 | c, s = self._decode_const(s) |
paul@137 | 687 | l.append(c) |
paul@137 | 688 | # Add a blank entry after "large" entries. |
paul@137 | 689 | if isinstance(c, LargeNumInfo): |
paul@137 | 690 | l.append(None) |
paul@137 | 691 | i += 1 |
paul@137 | 692 | i += 1 |
paul@137 | 693 | return l, s |
paul@137 | 694 | |
paul@137 | 695 | def _get_items_from_table(self, cls, number, s): |
paul@137 | 696 | l = [] |
paul@137 | 697 | for i in range(0, number): |
paul@137 | 698 | f = cls() |
paul@137 | 699 | s = f.init(s, self) |
paul@137 | 700 | l.append(f) |
paul@137 | 701 | return l, s |
paul@137 | 702 | |
paul@137 | 703 | def _get_methods_from_table(self, number, s): |
paul@137 | 704 | return self._get_items_from_table(MethodInfo, number, s) |
paul@137 | 705 | |
paul@137 | 706 | def _get_fields_from_table(self, number, s): |
paul@137 | 707 | return self._get_items_from_table(FieldInfo, number, s) |
paul@137 | 708 | |
paul@137 | 709 | def _get_attribute_from_table(self, s): |
paul@137 | 710 | attribute_name_index = u2(s[0:2]) |
paul@137 | 711 | constant_name = self.constants[attribute_name_index - 1].bytes |
paul@137 | 712 | if constant_name == "SourceFile": |
paul@137 | 713 | attribute = SourceFileAttributeInfo() |
paul@137 | 714 | elif constant_name == "ConstantValue": |
paul@137 | 715 | attribute = ConstantValueAttributeInfo() |
paul@137 | 716 | elif constant_name == "Code": |
paul@137 | 717 | attribute = CodeAttributeInfo() |
paul@137 | 718 | elif constant_name == "Exceptions": |
paul@137 | 719 | attribute = ExceptionsAttributeInfo() |
paul@137 | 720 | elif constant_name == "InnerClasses": |
paul@137 | 721 | attribute = InnerClassesAttributeInfo() |
paul@137 | 722 | elif constant_name == "Synthetic": |
paul@137 | 723 | attribute = SyntheticAttributeInfo() |
paul@137 | 724 | elif constant_name == "LineNumberTable": |
paul@137 | 725 | attribute = LineNumberAttributeInfo() |
paul@137 | 726 | elif constant_name == "LocalVariableTable": |
paul@137 | 727 | attribute = LocalVariableAttributeInfo() |
paul@137 | 728 | elif constant_name == "Deprecated": |
paul@137 | 729 | attribute = DeprecatedAttributeInfo() |
paul@137 | 730 | else: |
paul@137 | 731 | raise UnknownAttribute, constant_name |
paul@137 | 732 | s = attribute.init(s[2:], self) |
paul@137 | 733 | return attribute, s |
paul@137 | 734 | |
paul@137 | 735 | def _get_attributes_from_table(self, number, s): |
paul@137 | 736 | attributes = [] |
paul@137 | 737 | for i in range(0, number): |
paul@137 | 738 | attribute, s = self._get_attribute_from_table(s) |
paul@137 | 739 | attributes.append(attribute) |
paul@137 | 740 | return attributes, s |
paul@137 | 741 | |
paul@137 | 742 | def _get_constants(self, s): |
paul@137 | 743 | count = u2(s[0:2]) |
paul@137 | 744 | return self._get_constants_from_table(count, s[2:]) |
paul@137 | 745 | |
paul@185 | 746 | def _serialize_constants(self): |
paul@185 | 747 | return su2(len(self.constants)+1)+"".join([self._encode_const(c) for c in self.constants]) |
paul@185 | 748 | |
paul@137 | 749 | def _get_access_flags(self, s): |
paul@137 | 750 | return u2(s[0:2]), s[2:] |
paul@185 | 751 | |
paul@185 | 752 | def _serialize_access_flags(self): |
paul@185 | 753 | return su2(self.access_flags) |
paul@137 | 754 | |
paul@137 | 755 | def _get_this_class(self, s): |
paul@137 | 756 | index = u2(s[0:2]) |
paul@137 | 757 | return self.constants[index - 1], s[2:] |
paul@137 | 758 | |
paul@185 | 759 | def _serialize_this_class(self): |
paul@185 | 760 | return su2(self.constants.index(self.this_class)+1) |
paul@185 | 761 | |
paul@185 | 762 | def _serialize_super_class(self): |
paul@185 | 763 | return su2(self.constants.index(self.super_class)+1) |
paul@185 | 764 | |
paul@165 | 765 | def _get_super_class(self, s): |
paul@165 | 766 | index = u2(s[0:2]) |
paul@165 | 767 | if index != 0: |
paul@165 | 768 | return self.constants[index - 1], s[2:] |
paul@165 | 769 | else: |
paul@165 | 770 | return None, s[2:] |
paul@137 | 771 | |
paul@137 | 772 | def _get_interfaces(self, s): |
paul@137 | 773 | interfaces = [] |
paul@137 | 774 | number = u2(s[0:2]) |
paul@137 | 775 | s = s[2:] |
paul@137 | 776 | for i in range(0, number): |
paul@137 | 777 | index = u2(s[0:2]) |
paul@137 | 778 | interfaces.append(self.constants[index - 1]) |
paul@137 | 779 | s = s[2:] |
paul@137 | 780 | return interfaces, s |
paul@137 | 781 | |
paul@185 | 782 | def _serialize_interfaces(self): |
paul@185 | 783 | return su2(len(self.interfaces))+"".join([su2(self.interfaces.index(interf)+1) for interf in self.interfaces]) |
paul@185 | 784 | |
paul@137 | 785 | def _get_fields(self, s): |
paul@137 | 786 | number = u2(s[0:2]) |
paul@137 | 787 | return self._get_fields_from_table(number, s[2:]) |
paul@137 | 788 | |
paul@185 | 789 | def _serialize_fields(self): |
paul@185 | 790 | od = su2(len(self.fields)) |
paul@185 | 791 | od += "".join([f.serialize() for f in self.fields]) |
paul@185 | 792 | return od |
paul@185 | 793 | |
paul@137 | 794 | def _get_attributes(self, s): |
paul@137 | 795 | number = u2(s[0:2]) |
paul@137 | 796 | return self._get_attributes_from_table(number, s[2:]) |
paul@137 | 797 | |
paul@185 | 798 | def _serialize_attributes(self, attrs): |
paul@185 | 799 | od = su2(len(attrs)) |
paul@185 | 800 | if len(attrs) == 0: return od |
paul@185 | 801 | if self.attribute_class_to_index == None: |
paul@185 | 802 | self.attribute_class_to_index = {} |
paul@185 | 803 | attr_names_to_class = {"SourceFile":SourceFileAttributeInfo, "ConstantValue":ConstantValueAttributeInfo, |
paul@185 | 804 | "Code":CodeAttributeInfo, "Exceptions":ExceptionsAttributeInfo, |
paul@185 | 805 | "InnerClasses":InnerClassesAttributeInfo, "Synthetic":SyntheticAttributeInfo, |
paul@185 | 806 | "LineNumberTable":LineNumberAttributeInfo, "LocalVariableTable":LocalVariableAttributeInfo, |
paul@185 | 807 | "Deprecated":DeprecatedAttributeInfo} |
paul@185 | 808 | index = 0 |
paul@185 | 809 | for c in self.constants: |
paul@185 | 810 | index += 1 |
paul@185 | 811 | if isinstance(c, Utf8Info) and str(c) in attr_names_to_class.keys(): |
paul@185 | 812 | self.attribute_class_to_index[attr_names_to_class[str(c)]]=index |
paul@185 | 813 | for attribute in attrs: |
paul@185 | 814 | for (classtype,name_index) in self.attribute_class_to_index.iteritems(): |
paul@185 | 815 | if isinstance(attribute, classtype): |
paul@185 | 816 | od += su2(name_index) |
paul@185 | 817 | break |
paul@185 | 818 | od += attribute.serialize() |
paul@185 | 819 | return od |
paul@185 | 820 | |
paul@137 | 821 | def _get_methods(self, s): |
paul@137 | 822 | number = u2(s[0:2]) |
paul@137 | 823 | return self._get_methods_from_table(number, s[2:]) |
paul@137 | 824 | |
paul@185 | 825 | def _serialize_methods(self): |
paul@185 | 826 | od = su2(len(self.methods)) |
paul@185 | 827 | od += "".join([m.serialize() for m in self.methods]) |
paul@185 | 828 | return od |
paul@185 | 829 | |
paul@185 | 830 | |
paul@137 | 831 | if __name__ == "__main__": |
paul@137 | 832 | import sys |
paul@137 | 833 | f = open(sys.argv[1], "rb") |
paul@137 | 834 | c = ClassFile(f.read()) |
paul@137 | 835 | f.close() |
paul@137 | 836 | |
paul@137 | 837 | # vim: tabstop=4 expandtab shiftwidth=4 |