private GetConstantPoolUtf8String ( int index ) : string | ||
index | int | |
return | string |
private static object ReadAnnotation(BigEndianBinaryReader rdr, ClassFile classFile, string[] utf8_cp) { string type = classFile.GetConstantPoolUtf8String(utf8_cp, rdr.ReadUInt16()); ushort num_element_value_pairs = rdr.ReadUInt16(); object[] annot = new object[2 + num_element_value_pairs * 2]; annot[0] = AnnotationDefaultAttribute.TAG_ANNOTATION; annot[1] = type; for(int i = 0; i < num_element_value_pairs; i++) { annot[2 + i * 2 + 0] = classFile.GetConstantPoolUtf8String(utf8_cp, rdr.ReadUInt16()); annot[2 + i * 2 + 1] = ReadAnnotationElementValue(rdr, classFile, utf8_cp); } return annot; }
private static object ReadAnnotationElementValue(BigEndianBinaryReader rdr, ClassFile classFile, string[] utf8_cp) { try { byte tag = rdr.ReadByte(); switch (tag) { case (byte)'Z': return classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()) != 0; case (byte)'B': return (byte)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'C': return (char)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'S': return (short)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'I': return classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'F': return classFile.GetConstantPoolConstantFloat(rdr.ReadUInt16()); case (byte)'J': return classFile.GetConstantPoolConstantLong(rdr.ReadUInt16()); case (byte)'D': return classFile.GetConstantPoolConstantDouble(rdr.ReadUInt16()); case (byte)'s': return classFile.GetConstantPoolUtf8String(utf8_cp, rdr.ReadUInt16()); case (byte)'e': { ushort type_name_index = rdr.ReadUInt16(); ushort const_name_index = rdr.ReadUInt16(); return new object[] { AnnotationDefaultAttribute.TAG_ENUM, classFile.GetConstantPoolUtf8String(utf8_cp, type_name_index), classFile.GetConstantPoolUtf8String(utf8_cp, const_name_index) }; } case (byte)'c': return new object[] { AnnotationDefaultAttribute.TAG_CLASS, classFile.GetConstantPoolUtf8String(utf8_cp, rdr.ReadUInt16()) }; case (byte)'@': return ReadAnnotation(rdr, classFile, utf8_cp); case (byte)'[': { ushort num_values = rdr.ReadUInt16(); object[] array = new object[num_values + 1]; array[0] = AnnotationDefaultAttribute.TAG_ARRAY; for (int i = 0; i < num_values; i++) { array[i + 1] = ReadAnnotationElementValue(rdr, classFile, utf8_cp); } return array; } default: throw new ClassFormatError("Invalid tag {0} in annotation element_value", tag); } } catch (NullReferenceException) { } catch (InvalidCastException) { } catch (IndexOutOfRangeException) { } return new object[] { AnnotationDefaultAttribute.TAG_ERROR, "java.lang.IllegalArgumentException", "Wrong type at constant pool index" }; }
internal void Read(ClassFile classFile, Method method, BigEndianBinaryReader br, ClassFileParseOptions options) { max_stack = br.ReadUInt16(); max_locals = br.ReadUInt16(); uint code_length = br.ReadUInt32(); if(code_length > 65535) { throw new ClassFormatError("{0} (Invalid Code length {1})", classFile.Name, code_length); } Instruction[] instructions = new Instruction[code_length + 1]; int basePosition = br.Position; int instructionIndex = 0; try { BigEndianBinaryReader rdr = br.Section(code_length); while(!rdr.IsAtEnd) { instructions[instructionIndex].Read((ushort)(rdr.Position - basePosition), rdr); hasJsr |= instructions[instructionIndex].NormalizedOpCode == NormalizedByteCode.__jsr; instructionIndex++; } // we add an additional nop instruction to make it easier for consumers of the code array instructions[instructionIndex++].SetTermNop((ushort)(rdr.Position - basePosition)); } catch(ClassFormatError x) { // any class format errors in the code block are actually verify errors verifyError = x.Message; } this.instructions = new Instruction[instructionIndex]; Array.Copy(instructions, 0, this.instructions, 0, instructionIndex); // build the pcIndexMap int[] pcIndexMap = new int[this.instructions[instructionIndex - 1].PC + 1]; for(int i = 0; i < pcIndexMap.Length; i++) { pcIndexMap[i] = -1; } for(int i = 0; i < instructionIndex - 1; i++) { pcIndexMap[this.instructions[i].PC] = i; } // convert branch offsets to indexes for(int i = 0; i < instructionIndex - 1; i++) { switch(this.instructions[i].NormalizedOpCode) { case NormalizedByteCode.__ifeq: case NormalizedByteCode.__ifne: case NormalizedByteCode.__iflt: case NormalizedByteCode.__ifge: case NormalizedByteCode.__ifgt: case NormalizedByteCode.__ifle: case NormalizedByteCode.__if_icmpeq: case NormalizedByteCode.__if_icmpne: case NormalizedByteCode.__if_icmplt: case NormalizedByteCode.__if_icmpge: case NormalizedByteCode.__if_icmpgt: case NormalizedByteCode.__if_icmple: case NormalizedByteCode.__if_acmpeq: case NormalizedByteCode.__if_acmpne: case NormalizedByteCode.__ifnull: case NormalizedByteCode.__ifnonnull: case NormalizedByteCode.__goto: case NormalizedByteCode.__jsr: this.instructions[i].SetTargetIndex(pcIndexMap[this.instructions[i].Arg1 + this.instructions[i].PC]); break; case NormalizedByteCode.__tableswitch: case NormalizedByteCode.__lookupswitch: this.instructions[i].MapSwitchTargets(pcIndexMap); break; } } // read exception table ushort exception_table_length = br.ReadUInt16(); exception_table = new ExceptionTableEntry[exception_table_length]; for(int i = 0; i < exception_table_length; i++) { ushort start_pc = br.ReadUInt16(); ushort end_pc = br.ReadUInt16(); ushort handler_pc = br.ReadUInt16(); ushort catch_type = br.ReadUInt16(); if(start_pc >= end_pc || end_pc > code_length || handler_pc >= code_length || (catch_type != 0 && !classFile.SafeIsConstantPoolClass(catch_type))) { throw new ClassFormatError("Illegal exception table: {0}.{1}{2}", classFile.Name, method.Name, method.Signature); } // if start_pc, end_pc or handler_pc is invalid (i.e. doesn't point to the start of an instruction), // the index will be -1 and this will be handled by the verifier int startIndex = pcIndexMap[start_pc]; int endIndex; if (end_pc == code_length) { // it is legal for end_pc to point to just after the last instruction, // but since there isn't an entry in our pcIndexMap for that, we have // a special case for this endIndex = instructionIndex - 1; } else { endIndex = pcIndexMap[end_pc]; } int handlerIndex = pcIndexMap[handler_pc]; exception_table[i] = new ExceptionTableEntry(startIndex, endIndex, handlerIndex, catch_type, i); } ushort attributes_count = br.ReadUInt16(); for(int i = 0; i < attributes_count; i++) { switch(classFile.GetConstantPoolUtf8String(br.ReadUInt16())) { case "LineNumberTable": if((options & ClassFileParseOptions.LineNumberTable) != 0) { BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); int count = rdr.ReadUInt16(); lineNumberTable = new LineNumberTableEntry[count]; for(int j = 0; j < count; j++) { lineNumberTable[j].start_pc = rdr.ReadUInt16(); lineNumberTable[j].line_number = rdr.ReadUInt16(); if(lineNumberTable[j].start_pc >= code_length) { throw new ClassFormatError("{0} (LineNumberTable has invalid pc)", classFile.Name); } } if(!rdr.IsAtEnd) { throw new ClassFormatError("{0} (LineNumberTable attribute has wrong length)", classFile.Name); } } else { br.Skip(br.ReadUInt32()); } break; case "LocalVariableTable": if((options & ClassFileParseOptions.LocalVariableTable) != 0) { BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); int count = rdr.ReadUInt16(); localVariableTable = new LocalVariableTableEntry[count]; for(int j = 0; j < count; j++) { localVariableTable[j].start_pc = rdr.ReadUInt16(); localVariableTable[j].length = rdr.ReadUInt16(); localVariableTable[j].name = classFile.GetConstantPoolUtf8String(rdr.ReadUInt16()); localVariableTable[j].descriptor = classFile.GetConstantPoolUtf8String(rdr.ReadUInt16()).Replace('/', '.'); localVariableTable[j].index = rdr.ReadUInt16(); } // NOTE we're intentionally not checking that we're at the end of the section // (optional attributes shouldn't cause ClassFormatError) } else { br.Skip(br.ReadUInt32()); } break; default: br.Skip(br.ReadUInt32()); break; } } // build the argmap string sig = method.Signature; List<int> args = new List<int>(); int pos = 0; if(!method.IsStatic) { args.Add(pos++); } for(int i = 1; sig[i] != ')'; i++) { args.Add(pos++); switch(sig[i]) { case 'L': i = sig.IndexOf(';', i); break; case 'D': case 'J': args.Add(-1); break; case '[': { while(sig[i] == '[') { i++; } if(sig[i] == 'L') { i = sig.IndexOf(';', i); } break; } } } argmap = args.ToArray(); if(args.Count > max_locals) { throw new ClassFormatError("{0} (Arguments can't fit into locals)", classFile.Name); } }
private static object ReadAnnotationElementValue(BigEndianBinaryReader rdr, ClassFile classFile) { byte tag = rdr.ReadByte(); switch(tag) { case (byte)'Z': return classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()) != 0; case (byte)'B': return (byte)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'C': return (char)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'S': return (short)classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'I': return classFile.GetConstantPoolConstantInteger(rdr.ReadUInt16()); case (byte)'F': return classFile.GetConstantPoolConstantFloat(rdr.ReadUInt16()); case (byte)'J': return classFile.GetConstantPoolConstantLong(rdr.ReadUInt16()); case (byte)'D': return classFile.GetConstantPoolConstantDouble(rdr.ReadUInt16()); case (byte)'s': return classFile.GetConstantPoolUtf8String(rdr.ReadUInt16()); case (byte)'e': { ushort type_name_index = rdr.ReadUInt16(); ushort const_name_index = rdr.ReadUInt16(); return new object[] { AnnotationDefaultAttribute.TAG_ENUM, classFile.GetConstantPoolUtf8String(type_name_index), classFile.GetConstantPoolUtf8String(const_name_index) }; } case (byte)'c': return new object[] { AnnotationDefaultAttribute.TAG_CLASS, classFile.GetConstantPoolUtf8String(rdr.ReadUInt16()) }; case (byte)'@': return ReadAnnotation(rdr, classFile); case (byte)'[': { ushort num_values = rdr.ReadUInt16(); object[] array = new object[num_values + 1]; array[0] = AnnotationDefaultAttribute.TAG_ARRAY; for(int i = 0; i < num_values; i++) { array[i + 1] = ReadAnnotationElementValue(rdr, classFile); } return array; } default: throw new ClassFormatError("Invalid tag {0} in annotation element_value", tag); } }
internal Field(ClassFile classFile, BigEndianBinaryReader br) : base(classFile, br) { if((IsPrivate && IsPublic) || (IsPrivate && IsProtected) || (IsPublic && IsProtected) || (IsFinal && IsVolatile) || (classFile.IsInterface && (!IsPublic || !IsStatic || !IsFinal || IsTransient))) { throw new ClassFormatError("{0} (Illegal field modifiers: 0x{1:X})", classFile.Name, access_flags); } int attributes_count = br.ReadUInt16(); for(int i = 0; i < attributes_count; i++) { switch(classFile.GetConstantPoolUtf8String(br.ReadUInt16())) { case "Deprecated": if(br.ReadUInt32() != 0) { throw new ClassFormatError("Invalid Deprecated attribute length"); } flags |= FLAG_MASK_DEPRECATED; break; case "ConstantValue": { if(br.ReadUInt32() != 2) { throw new ClassFormatError("Invalid ConstantValue attribute length"); } ushort index = br.ReadUInt16(); try { switch(Signature) { case "I": constantValue = classFile.GetConstantPoolConstantInteger(index); break; case "S": constantValue = (short)classFile.GetConstantPoolConstantInteger(index); break; case "B": constantValue = (byte)classFile.GetConstantPoolConstantInteger(index); break; case "C": constantValue = (char)classFile.GetConstantPoolConstantInteger(index); break; case "Z": constantValue = classFile.GetConstantPoolConstantInteger(index) != 0; break; case "J": constantValue = classFile.GetConstantPoolConstantLong(index); break; case "F": constantValue = classFile.GetConstantPoolConstantFloat(index); break; case "D": constantValue = classFile.GetConstantPoolConstantDouble(index); break; case "Ljava.lang.String;": constantValue = classFile.GetConstantPoolConstantString(index); break; default: throw new ClassFormatError("{0} (Invalid signature for constant)", classFile.Name); } } catch(InvalidCastException) { throw new ClassFormatError("{0} (Bad index into constant pool)", classFile.Name); } catch(IndexOutOfRangeException) { throw new ClassFormatError("{0} (Bad index into constant pool)", classFile.Name); } catch(InvalidOperationException) { throw new ClassFormatError("{0} (Bad index into constant pool)", classFile.Name); } catch(NullReferenceException) { throw new ClassFormatError("{0} (Bad index into constant pool)", classFile.Name); } break; } case "Signature": if(classFile.MajorVersion < 49) { goto default; } if(br.ReadUInt32() != 2) { throw new ClassFormatError("Signature attribute has incorrect length"); } signature = classFile.GetConstantPoolUtf8String(br.ReadUInt16()); break; case "RuntimeVisibleAnnotations": if(classFile.MajorVersion < 49) { goto default; } annotations = ReadAnnotations(br, classFile); break; case "RuntimeInvisibleAnnotations": if(classFile.MajorVersion < 49) { goto default; } foreach(object[] annot in ReadAnnotations(br, classFile)) { if(annot[1].Equals("Likvm/lang/Property;")) { DecodePropertyAnnotation(classFile, annot); } #if STATIC_COMPILER else if(annot[1].Equals("Likvm/lang/Internal;")) { this.access_flags &= ~Modifiers.AccessMask; flags |= FLAG_MASK_INTERNAL; } #endif } break; default: br.Skip(br.ReadUInt32()); break; } } }
internal Method(ClassFile classFile, ClassFileParseOptions options, BigEndianBinaryReader br) : base(classFile, br) { // vmspec 4.6 says that all flags, except ACC_STRICT are ignored on <clinit> if(ReferenceEquals(Name, StringConstants.CLINIT) && ReferenceEquals(Signature, StringConstants.SIG_VOID)) { access_flags &= Modifiers.Strictfp; access_flags |= (Modifiers.Static | Modifiers.Private); } else { // LAMESPEC: vmspec 4.6 says that abstract methods can not be strictfp (and this makes sense), but // javac (pre 1.5) is broken and marks abstract methods as strictfp (if you put the strictfp on the class) if((ReferenceEquals(Name, StringConstants.INIT) && (IsStatic || IsSynchronized || IsFinal || IsAbstract || IsNative)) || (IsPrivate && IsPublic) || (IsPrivate && IsProtected) || (IsPublic && IsProtected) || (IsAbstract && (IsFinal || IsNative || IsPrivate || IsStatic || IsSynchronized)) || (classFile.IsInterface && (!IsPublic || !IsAbstract))) { throw new ClassFormatError("{0} (Illegal method modifiers: 0x{1:X})", classFile.Name, access_flags); } } int attributes_count = br.ReadUInt16(); for(int i = 0; i < attributes_count; i++) { switch(classFile.GetConstantPoolUtf8String(br.ReadUInt16())) { case "Deprecated": if(br.ReadUInt32() != 0) { throw new ClassFormatError("Invalid Deprecated attribute length"); } flags |= FLAG_MASK_DEPRECATED; break; case "Code": { if(!code.IsEmpty) { throw new ClassFormatError("{0} (Duplicate Code attribute)", classFile.Name); } BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); code.Read(classFile, this, rdr, options); if(!rdr.IsAtEnd) { throw new ClassFormatError("{0} (Code attribute has wrong length)", classFile.Name); } break; } case "Exceptions": { if(exceptions != null) { throw new ClassFormatError("{0} (Duplicate Exceptions attribute)", classFile.Name); } BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); ushort count = rdr.ReadUInt16(); exceptions = new string[count]; for(int j = 0; j < count; j++) { exceptions[j] = classFile.GetConstantPoolClass(rdr.ReadUInt16()); } if(!rdr.IsAtEnd) { throw new ClassFormatError("{0} (Exceptions attribute has wrong length)", classFile.Name); } break; } case "Signature": if(classFile.MajorVersion < 49) { goto default; } if(br.ReadUInt32() != 2) { throw new ClassFormatError("Signature attribute has incorrect length"); } signature = classFile.GetConstantPoolUtf8String(br.ReadUInt16()); break; case "RuntimeVisibleAnnotations": if(classFile.MajorVersion < 49) { goto default; } annotations = ReadAnnotations(br, classFile); break; case "RuntimeVisibleParameterAnnotations": { if(classFile.MajorVersion < 49) { goto default; } BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); byte num_parameters = rdr.ReadByte(); parameterAnnotations = new object[num_parameters][]; for(int j = 0; j < num_parameters; j++) { ushort num_annotations = rdr.ReadUInt16(); parameterAnnotations[j] = new object[num_annotations]; for(int k = 0; k < num_annotations; k++) { parameterAnnotations[j][k] = ReadAnnotation(rdr, classFile); } } if(!rdr.IsAtEnd) { throw new ClassFormatError("{0} (RuntimeVisibleParameterAnnotations attribute has wrong length)", classFile.Name); } break; } case "AnnotationDefault": { if(classFile.MajorVersion < 49) { goto default; } BigEndianBinaryReader rdr = br.Section(br.ReadUInt32()); annotationDefault = ReadAnnotationElementValue(rdr, classFile); if(!rdr.IsAtEnd) { throw new ClassFormatError("{0} (AnnotationDefault attribute has wrong length)", classFile.Name); } break; } #if STATIC_COMPILER case "RuntimeInvisibleAnnotations": if(classFile.MajorVersion < 49) { goto default; } foreach(object[] annot in ReadAnnotations(br, classFile)) { if(annot[1].Equals("Likvm/lang/Internal;")) { this.access_flags &= ~Modifiers.AccessMask; flags |= FLAG_MASK_INTERNAL; } if(annot[1].Equals("Likvm/internal/HasCallerID;")) { flags |= FLAG_HAS_CALLERID; } } break; #endif default: br.Skip(br.ReadUInt32()); break; } } if(IsAbstract || IsNative) { if(!code.IsEmpty) { throw new ClassFormatError("Abstract or native method cannot have a Code attribute"); } } else { if(code.IsEmpty) { if(ReferenceEquals(this.Name, StringConstants.CLINIT)) { code.verifyError = string.Format("Class {0}, method {1} signature {2}: No Code attribute", classFile.Name, this.Name, this.Signature); return; } throw new ClassFormatError("Method has no Code attribute"); } } }
internal FieldOrMethod(ClassFile classFile, BigEndianBinaryReader br) { access_flags = (Modifiers)br.ReadUInt16(); name = String.Intern(classFile.GetConstantPoolUtf8String(br.ReadUInt16())); descriptor = classFile.GetConstantPoolUtf8String(br.ReadUInt16()); ValidateSig(classFile, descriptor); descriptor = String.Intern(descriptor.Replace('/', '.')); }
internal override void Resolve(ClassFile classFile) { s = classFile.GetConstantPoolUtf8String(string_index); }
internal override void Resolve(ClassFile classFile) { if(classFile.GetConstantPoolUtf8String(name_index) == null || classFile.GetConstantPoolUtf8String(descriptor_index) == null) { throw new ClassFormatError("Illegal constant pool index"); } }
internal override void Resolve(ClassFile classFile) { ConstantPoolItemNameAndType name_and_type = (ConstantPoolItemNameAndType)classFile.GetConstantPoolItem(name_and_type_index); clazz = (ConstantPoolItemClass)classFile.GetConstantPoolItem(class_index); // if the constant pool items referred to were strings, GetConstantPoolItem returns null if(name_and_type == null || clazz == null) { throw new ClassFormatError("Bad index in constant pool"); } name = String.Intern(classFile.GetConstantPoolUtf8String(name_and_type.name_index)); descriptor = classFile.GetConstantPoolUtf8String(name_and_type.descriptor_index); Validate(name, descriptor, classFile.MajorVersion); descriptor = String.Intern(descriptor.Replace('/', '.')); }
internal override void Resolve(ClassFile classFile) { name = classFile.GetConstantPoolUtf8String(name_index); if(name.Length > 0) { if(classFile.MajorVersion < 49) { char prev = name[0]; if(Char.IsLetter(prev) || prev == '$' || prev == '_' || prev == '[' || prev == '/') { int skip = 1; int end = name.Length; if(prev == '[') { if(!IsValidFieldSig(name)) { goto barf; } while(name[skip] == '[') { skip++; } if(name.EndsWith(";")) { end--; } } for(int i = skip; i < end; i++) { char c = name[i]; if(!Char.IsLetterOrDigit(c) && c != '$' && c != '_' && (c != '/' || prev == '/')) { goto barf; } prev = c; } name = String.Intern(name.Replace('/', '.')); return; } } else { // since 1.5 the restrictions on class names have been greatly reduced int end = name.Length; if(name[0] == '[') { if(!IsValidFieldSig(name)) { goto barf; } // the semicolon is only allowed at the end and IsValidFieldSig enforces this, // but since invalidJava15Characters contains the semicolon, we decrement end // to make the following check against invalidJava15Characters ignore the // trailing semicolon. if(name[end - 1] == ';') { end--; } } if(name.IndexOfAny(invalidJava15Characters, 0, end) >= 0) { goto barf; } name = String.Intern(name.Replace('/', '.')); return; } } barf: throw new ClassFormatError("Invalid class name \"{0}\"", name); }