コード例 #1
0
 public SyntheticAnalyzer(MethodInfo method, boolean checkName) {
   this.method = method;
   if (method.getBytecode() == null) return;
   if (!checkName || method.getName().equals("class$")) if (checkGetClass()) return;
   if (!checkName || method.getName().startsWith("access$")) if (checkAccess()) return;
   if (method.getName().equals("<init>")) if (checkConstructorAccess()) return;
 }
コード例 #2
0
  boolean checkGetClass() {
    if (!method.isStatic() || !(method.getType().equals("(Ljava/lang/String;)Ljava/lang/Class;")))
      return false;

    BytecodeInfo bytecode = method.getBytecode();

    Handler[] excHandlers = bytecode.getExceptionHandlers();
    if (excHandlers.length != 1 || !"java.lang.ClassNotFoundException".equals(excHandlers[0].type))
      return false;

    int excSlot = -1;
    int i = 0;
    for (Iterator iter = bytecode.getInstructions().iterator(); iter.hasNext(); i++) {
      Instruction instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
      if (i == getClassOpcodes.length || instr.getOpcode() != getClassOpcodes[i]) return false;
      if (i == 0 && (instr.getLocalSlot() != 0 || excHandlers[0].start != instr)) return false;
      if (i == 2 && excHandlers[0].end != instr) return false;
      if (i == 3) {
        if (excHandlers[0].catcher != instr) return false;
        excSlot = instr.getLocalSlot();
      }
      if (i == 4 && !instr.getClazzType().equals("Ljava/lang/NoClassDefFoundError;")) return false;
      if (i == 6 && instr.getLocalSlot() != excSlot) return false;
      if (getClassRefs[i] != null && !getClassRefs[i].equals(instr.getReference())) return false;
    }
    this.kind = GETCLASS;
    return true;
  }
コード例 #3
0
  public boolean checkConstructorAccess() {
    ClassInfo clazzInfo = method.getClazzInfo();
    BytecodeInfo bytecode = method.getBytecode();
    String[] paramTypes = TypeSignature.getParameterTypes(method.getType());
    Handler[] excHandlers = bytecode.getExceptionHandlers();
    if (excHandlers != null && excHandlers.length != 0) return false;
    Iterator iter = bytecode.getInstructions().iterator();

    Instruction instr = (Instruction) iter.next();
    while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
    int params = 0, slot = 0;
    while (instr.getOpcode() >= opc_iload && instr.getOpcode() <= opc_aload) {

      if (instr.getLocalSlot() > slot
          && unifyParam == -1
          && params > 0
          && paramTypes[params - 1].charAt(0) == 'L') {
        unifyParam = params;
        params++;
        slot++;
      }
      if (instr.getLocalSlot() != slot) return false;

      params++;
      slot += (instr.getOpcode() == opc_lload || instr.getOpcode() == opc_dload) ? 2 : 1;
      instr = (Instruction) iter.next();
    }
    if (params > 0 && instr.getOpcode() == opc_invokespecial) {

      if (unifyParam == -1
          && params <= paramTypes.length
          && paramTypes[params - 1].charAt(0) == 'L') unifyParam = params++;

      Reference ref = instr.getReference();
      ClassInfo refClazz = TypeSignature.getClassInfo(ref.getClazz());
      if (refClazz != clazzInfo) return false;
      MethodInfo refMethod = refClazz.findMethod(ref.getName(), ref.getType());
      MethodType refType = Type.tMethod(ref.getType());
      if ((refMethod.getModifiers() & modifierMask) != 0
          || !refMethod.getName().equals("<init>")
          || unifyParam == -1
          || refType.getParameterTypes().length != params - 2) return false;

      instr = (Instruction) iter.next();
      if (instr.getOpcode() != opc_return) return false;

      /*
       * We don't check if types matches. No problem since we only need to
       * make sure, this constructor doesn't do anything more than relay
       * to the real one.
       */
      reference = ref;
      kind = ACCESSCONSTRUCTOR;
      return true;
    }
    return false;
  }
コード例 #4
0
  public boolean checkAccess() {
    ClassInfo clazzInfo = method.getClazzInfo();
    BytecodeInfo bytecode = method.getBytecode();
    Handler[] excHandlers = bytecode.getExceptionHandlers();
    boolean dupSeen = false;
    if (excHandlers != null && excHandlers.length != 0) return false;

    if (method.isStatic()) {
      if (checkStaticAccess()) return true;
    }

    Iterator iter = bytecode.getInstructions().iterator();
    Instruction instr = (Instruction) iter.next();
    while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
    if (instr.getOpcode() != opc_aload || instr.getLocalSlot() != 0) return false;
    instr = (Instruction) iter.next();
    while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();

    if (instr.getOpcode() == opc_getfield) {
      Reference ref = instr.getReference();
      ClassInfo refClazz = TypeSignature.getClassInfo(ref.getClazz());
      if (!refClazz.superClassOf(clazzInfo)) return false;
      FieldInfo refField = refClazz.findField(ref.getName(), ref.getType());
      if ((refField.getModifiers() & modifierMask) != 0) return false;
      instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
      if (instr.getOpcode() < opc_ireturn || instr.getOpcode() > opc_areturn) return false;
      /* For valid bytecode the type matches automatically */
      reference = ref;
      kind = ACCESSGETFIELD;
      return true;
    }
    int params = 0, slot = 1;
    while (instr.getOpcode() >= opc_iload
        && instr.getOpcode() <= opc_aload
        && instr.getLocalSlot() == slot) {
      params++;
      slot += (instr.getOpcode() == opc_lload || instr.getOpcode() == opc_dload) ? 2 : 1;
      instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
    }
    if (instr.getOpcode() == (opc_dup_x1 - 6) + 3 * slot) {
      /*
       * This is probably a opc_dup_x1 or opc_dup2_x1, preceding a
       * opc_putfield
       */
      instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
      if (instr.getOpcode() != opc_putfield) return false;
      dupSeen = true;
    }
    if (instr.getOpcode() == opc_putfield) {
      if (params != 1) return false;
      /* For valid bytecode the type of param matches automatically */
      Reference ref = instr.getReference();
      ClassInfo refClazz = TypeSignature.getClassInfo(ref.getClazz());
      if (!refClazz.superClassOf(clazzInfo)) return false;
      FieldInfo refField = refClazz.findField(ref.getName(), ref.getType());
      if ((refField.getModifiers() & modifierMask) != 0) return false;

      instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
      if (dupSeen) {
        if (instr.getOpcode() < opc_ireturn || instr.getOpcode() > opc_areturn) return false;
        kind = ACCESSDUPPUTFIELD;
      } else {
        if (instr.getOpcode() != opc_return) return false;
        kind = ACCESSPUTFIELD;
      }
      reference = ref;
      return true;
    }
    if (instr.getOpcode() == opc_invokespecial) {
      Reference ref = instr.getReference();
      ClassInfo refClazz = TypeSignature.getClassInfo(ref.getClazz());
      if (!refClazz.superClassOf(clazzInfo)) return false;
      MethodInfo refMethod = refClazz.findMethod(ref.getName(), ref.getType());
      MethodType refType = Type.tMethod(ref.getType());
      if ((refMethod.getModifiers() & modifierMask) != 0
          || refType.getParameterTypes().length != params) return false;
      instr = (Instruction) iter.next();
      while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next();
      if (refType.getReturnType() == Type.tVoid) {
        if (instr.getOpcode() != opc_return) return false;
      } else {
        if (instr.getOpcode() < opc_ireturn || instr.getOpcode() > opc_areturn) return false;
      }

      /* For valid bytecode the types matches automatically */
      reference = ref;
      kind = ACCESSMETHOD;
      return true;
    }
    return false;
  }