|
|
@ -46,98 +46,66 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
public static final String UNKNOWN_TYPE_STRING = "<unknown>"; |
|
|
|
public static final String UNKNOWN_TYPE_STRING = "<unknown>"; |
|
|
|
public static final String NULL_TYPE_STRING = "<null>"; |
|
|
|
public static final String NULL_TYPE_STRING = "<null>"; |
|
|
|
|
|
|
|
|
|
|
|
private static final HashMap<Integer, Integer> mapConsts = new HashMap<Integer, Integer>(); |
|
|
|
private static final Map<Integer, Integer> mapConsts = new HashMap<Integer, Integer>(); |
|
|
|
|
|
|
|
|
|
|
|
static { |
|
|
|
static { |
|
|
|
// mapConsts.put(new Integer(opc_i2l), new
|
|
|
|
mapConsts.put(opc_arraylength, FunctionExprent.FUNCTION_ARRAY_LENGTH); |
|
|
|
// Integer(FunctionExprent.FUNCTION_I2L));
|
|
|
|
mapConsts.put(opc_checkcast, FunctionExprent.FUNCTION_CAST); |
|
|
|
// mapConsts.put(new Integer(opc_i2f), new
|
|
|
|
mapConsts.put(opc_instanceof, FunctionExprent.FUNCTION_INSTANCEOF); |
|
|
|
// Integer(FunctionExprent.FUNCTION_I2F));
|
|
|
|
} |
|
|
|
// mapConsts.put(new Integer(opc_i2d), new
|
|
|
|
|
|
|
|
// Integer(FunctionExprent.FUNCTION_I2D));
|
|
|
|
private static final VarType[] consts = { |
|
|
|
// mapConsts.put(new Integer(opc_l2i), new
|
|
|
|
VarType.VARTYPE_INT, VarType.VARTYPE_FLOAT, VarType.VARTYPE_LONG, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_CLASS, VarType.VARTYPE_STRING |
|
|
|
// Integer(FunctionExprent.FUNCTION_L2I));
|
|
|
|
}; |
|
|
|
// mapConsts.put(new Integer(opc_l2f), new
|
|
|
|
|
|
|
|
// Integer(FunctionExprent.FUNCTION_L2F));
|
|
|
|
private static final VarType[] varTypes = { |
|
|
|
// mapConsts.put(new Integer(opc_l2d), new
|
|
|
|
VarType.VARTYPE_INT, VarType.VARTYPE_LONG, VarType.VARTYPE_FLOAT, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_OBJECT |
|
|
|
// Integer(FunctionExprent.FUNCTION_L2D));
|
|
|
|
}; |
|
|
|
// mapConsts.put(new Integer(opc_f2i), new
|
|
|
|
|
|
|
|
// Integer(FunctionExprent.FUNCTION_F2I));
|
|
|
|
private static final VarType[] arrTypes = { |
|
|
|
// mapConsts.put(new Integer(opc_f2l), new
|
|
|
|
VarType.VARTYPE_INT, VarType.VARTYPE_LONG, VarType.VARTYPE_FLOAT, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_OBJECT, |
|
|
|
// Integer(FunctionExprent.FUNCTION_F2L));
|
|
|
|
VarType.VARTYPE_BOOLEAN, VarType.VARTYPE_CHAR, VarType.VARTYPE_SHORT |
|
|
|
// mapConsts.put(new Integer(opc_f2d), new
|
|
|
|
}; |
|
|
|
// Integer(FunctionExprent.FUNCTION_F2D));
|
|
|
|
|
|
|
|
// mapConsts.put(new Integer(opc_d2i), new
|
|
|
|
private static final int[] func1 = { |
|
|
|
// Integer(FunctionExprent.FUNCTION_D2I));
|
|
|
|
FunctionExprent.FUNCTION_ADD, FunctionExprent.FUNCTION_SUB, FunctionExprent.FUNCTION_MUL, FunctionExprent.FUNCTION_DIV, |
|
|
|
// mapConsts.put(new Integer(opc_d2l), new
|
|
|
|
FunctionExprent.FUNCTION_REM |
|
|
|
// Integer(FunctionExprent.FUNCTION_D2L));
|
|
|
|
}; |
|
|
|
// mapConsts.put(new Integer(opc_d2f), new
|
|
|
|
private static final int[] func2 = { |
|
|
|
// Integer(FunctionExprent.FUNCTION_D2F));
|
|
|
|
FunctionExprent.FUNCTION_SHL, FunctionExprent.FUNCTION_SHR, FunctionExprent.FUNCTION_USHR, FunctionExprent.FUNCTION_AND, |
|
|
|
// mapConsts.put(new Integer(opc_i2b), new
|
|
|
|
FunctionExprent.FUNCTION_OR, FunctionExprent.FUNCTION_XOR |
|
|
|
// Integer(FunctionExprent.FUNCTION_I2B));
|
|
|
|
}; |
|
|
|
// mapConsts.put(new Integer(opc_i2c), new
|
|
|
|
private static final int[] func3 = { |
|
|
|
// Integer(FunctionExprent.FUNCTION_I2C));
|
|
|
|
FunctionExprent.FUNCTION_I2L, FunctionExprent.FUNCTION_I2F, FunctionExprent.FUNCTION_I2D, FunctionExprent.FUNCTION_L2I, |
|
|
|
// mapConsts.put(new Integer(opc_i2s), new
|
|
|
|
|
|
|
|
// Integer(FunctionExprent.FUNCTION_I2S));
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mapConsts.put(new Integer(opc_arraylength), new Integer(FunctionExprent.FUNCTION_ARRAY_LENGTH)); |
|
|
|
|
|
|
|
mapConsts.put(new Integer(opc_checkcast), new Integer(FunctionExprent.FUNCTION_CAST)); |
|
|
|
|
|
|
|
mapConsts.put(new Integer(opc_instanceof), new Integer(FunctionExprent.FUNCTION_INSTANCEOF)); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final VarType[] consts = |
|
|
|
|
|
|
|
new VarType[]{VarType.VARTYPE_INT, VarType.VARTYPE_FLOAT, VarType.VARTYPE_LONG, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_CLASS, |
|
|
|
|
|
|
|
VarType.VARTYPE_STRING}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final VarType[] vartypes = |
|
|
|
|
|
|
|
new VarType[]{VarType.VARTYPE_INT, VarType.VARTYPE_LONG, VarType.VARTYPE_FLOAT, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_OBJECT}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final VarType[] arrtypes = |
|
|
|
|
|
|
|
new VarType[]{VarType.VARTYPE_INT, VarType.VARTYPE_LONG, VarType.VARTYPE_FLOAT, VarType.VARTYPE_DOUBLE, VarType.VARTYPE_OBJECT, |
|
|
|
|
|
|
|
VarType.VARTYPE_BOOLEAN, VarType.VARTYPE_CHAR, VarType.VARTYPE_SHORT}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final int[] func1 = |
|
|
|
|
|
|
|
new int[]{FunctionExprent.FUNCTION_ADD, FunctionExprent.FUNCTION_SUB, FunctionExprent.FUNCTION_MUL, FunctionExprent.FUNCTION_DIV, |
|
|
|
|
|
|
|
FunctionExprent.FUNCTION_REM}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final int[] func2 = |
|
|
|
|
|
|
|
new int[]{FunctionExprent.FUNCTION_SHL, FunctionExprent.FUNCTION_SHR, FunctionExprent.FUNCTION_USHR, FunctionExprent.FUNCTION_AND, |
|
|
|
|
|
|
|
FunctionExprent.FUNCTION_OR, FunctionExprent.FUNCTION_XOR}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private static final int[] func3 = |
|
|
|
|
|
|
|
new int[]{FunctionExprent.FUNCTION_I2L, FunctionExprent.FUNCTION_I2F, FunctionExprent.FUNCTION_I2D, FunctionExprent.FUNCTION_L2I, |
|
|
|
|
|
|
|
FunctionExprent.FUNCTION_L2F, FunctionExprent.FUNCTION_L2D, FunctionExprent.FUNCTION_F2I, FunctionExprent.FUNCTION_F2L, |
|
|
|
FunctionExprent.FUNCTION_L2F, FunctionExprent.FUNCTION_L2D, FunctionExprent.FUNCTION_F2I, FunctionExprent.FUNCTION_F2L, |
|
|
|
FunctionExprent.FUNCTION_F2D, |
|
|
|
FunctionExprent.FUNCTION_F2D, FunctionExprent.FUNCTION_D2I, FunctionExprent.FUNCTION_D2L, FunctionExprent.FUNCTION_D2F, |
|
|
|
FunctionExprent.FUNCTION_D2I, FunctionExprent.FUNCTION_D2L, FunctionExprent.FUNCTION_D2F, FunctionExprent.FUNCTION_I2B, |
|
|
|
FunctionExprent.FUNCTION_I2B, FunctionExprent.FUNCTION_I2C, FunctionExprent.FUNCTION_I2S |
|
|
|
FunctionExprent.FUNCTION_I2C, |
|
|
|
}; |
|
|
|
FunctionExprent.FUNCTION_I2S}; |
|
|
|
private static final int[] func4 = { |
|
|
|
|
|
|
|
FunctionExprent.FUNCTION_LCMP, FunctionExprent.FUNCTION_FCMPL, FunctionExprent.FUNCTION_FCMPG, FunctionExprent.FUNCTION_DCMPL, |
|
|
|
private static final int[] func4 = |
|
|
|
FunctionExprent.FUNCTION_DCMPG |
|
|
|
new int[]{FunctionExprent.FUNCTION_LCMP, FunctionExprent.FUNCTION_FCMPL, FunctionExprent.FUNCTION_FCMPG, FunctionExprent.FUNCTION_DCMPL, |
|
|
|
}; |
|
|
|
FunctionExprent.FUNCTION_DCMPG}; |
|
|
|
private static final int[] func5 = { |
|
|
|
|
|
|
|
IfExprent.IF_EQ, IfExprent.IF_NE, IfExprent.IF_LT, IfExprent.IF_GE, IfExprent.IF_GT, IfExprent.IF_LE |
|
|
|
private static final int[] func5 = |
|
|
|
}; |
|
|
|
new int[]{IfExprent.IF_EQ, IfExprent.IF_NE, IfExprent.IF_LT, IfExprent.IF_GE, IfExprent.IF_GT, IfExprent.IF_LE}; |
|
|
|
private static final int[] func6 = { |
|
|
|
|
|
|
|
IfExprent.IF_ICMPEQ, IfExprent.IF_ICMPNE, IfExprent.IF_ICMPLT, IfExprent.IF_ICMPGE, IfExprent.IF_ICMPGT, IfExprent.IF_ICMPLE, |
|
|
|
private static final int[] func6 = |
|
|
|
IfExprent.IF_ACMPEQ, IfExprent.IF_ACMPNE |
|
|
|
new int[]{IfExprent.IF_ICMPEQ, IfExprent.IF_ICMPNE, IfExprent.IF_ICMPLT, IfExprent.IF_ICMPGE, IfExprent.IF_ICMPGT, IfExprent.IF_ICMPLE, |
|
|
|
}; |
|
|
|
IfExprent.IF_ACMPEQ, IfExprent.IF_ACMPNE}; |
|
|
|
private static final int[] func7 = {IfExprent.IF_NULL, IfExprent.IF_NONNULL}; |
|
|
|
|
|
|
|
private static final int[] func8 = {MonitorExprent.MONITOR_ENTER, MonitorExprent.MONITOR_EXIT}; |
|
|
|
private static final int[] func7 = new int[]{IfExprent.IF_NULL, IfExprent.IF_NONNULL}; |
|
|
|
|
|
|
|
|
|
|
|
private static final int[] arrTypeIds = { |
|
|
|
private static final int[] func8 = new int[]{MonitorExprent.MONITOR_ENTER, MonitorExprent.MONITOR_EXIT}; |
|
|
|
CodeConstants.TYPE_BOOLEAN, CodeConstants.TYPE_CHAR, CodeConstants.TYPE_FLOAT, CodeConstants.TYPE_DOUBLE, |
|
|
|
|
|
|
|
CodeConstants.TYPE_BYTE, CodeConstants.TYPE_SHORT, CodeConstants.TYPE_INT, CodeConstants.TYPE_LONG |
|
|
|
private static final int[] arr_type = |
|
|
|
}; |
|
|
|
new int[]{CodeConstants.TYPE_BOOLEAN, CodeConstants.TYPE_CHAR, CodeConstants.TYPE_FLOAT, CodeConstants.TYPE_DOUBLE, |
|
|
|
|
|
|
|
CodeConstants.TYPE_BYTE, CodeConstants.TYPE_SHORT, CodeConstants.TYPE_INT, CodeConstants.TYPE_LONG}; |
|
|
|
private static final int[] negIfs = { |
|
|
|
|
|
|
|
IfExprent.IF_NE, IfExprent.IF_EQ, IfExprent.IF_GE, IfExprent.IF_LT, IfExprent.IF_LE, IfExprent.IF_GT, IfExprent.IF_NONNULL, |
|
|
|
private static final int[] negifs = |
|
|
|
|
|
|
|
new int[]{IfExprent.IF_NE, IfExprent.IF_EQ, IfExprent.IF_GE, IfExprent.IF_LT, IfExprent.IF_LE, IfExprent.IF_GT, IfExprent.IF_NONNULL, |
|
|
|
|
|
|
|
IfExprent.IF_NULL, IfExprent.IF_ICMPNE, IfExprent.IF_ICMPEQ, IfExprent.IF_ICMPGE, IfExprent.IF_ICMPLT, IfExprent.IF_ICMPLE, |
|
|
|
IfExprent.IF_NULL, IfExprent.IF_ICMPNE, IfExprent.IF_ICMPEQ, IfExprent.IF_ICMPGE, IfExprent.IF_ICMPLT, IfExprent.IF_ICMPLE, |
|
|
|
IfExprent.IF_ICMPGT, IfExprent.IF_ACMPNE, |
|
|
|
IfExprent.IF_ICMPGT, IfExprent.IF_ACMPNE, IfExprent.IF_ACMPEQ |
|
|
|
IfExprent.IF_ACMPEQ}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
private static final String[] typeNames = new String[]{"byte", "char", "double", "float", "int", "long", "short", "boolean",}; |
|
|
|
private static final String[] typeNames = {"byte", "char", "double", "float", "int", "long", "short", "boolean"}; |
|
|
|
|
|
|
|
|
|
|
|
private final MethodDescriptor methodDescriptor; |
|
|
|
private final MethodDescriptor methodDescriptor; |
|
|
|
private final VarProcessor varProcessor; |
|
|
|
private final VarProcessor varProcessor; |
|
|
@ -373,7 +341,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
case opc_fload: |
|
|
|
case opc_fload: |
|
|
|
case opc_dload: |
|
|
|
case opc_dload: |
|
|
|
case opc_aload: |
|
|
|
case opc_aload: |
|
|
|
pushEx(stack, exprlist, new VarExprent(instr.getOperand(0), vartypes[instr.opcode - opc_iload], varProcessor)); |
|
|
|
pushEx(stack, exprlist, new VarExprent(instr.getOperand(0), varTypes[instr.opcode - opc_iload], varProcessor)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_iaload: |
|
|
|
case opc_iaload: |
|
|
|
case opc_laload: |
|
|
|
case opc_laload: |
|
|
@ -394,7 +362,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
case opc_daload: |
|
|
|
case opc_daload: |
|
|
|
vartype = VarType.VARTYPE_DOUBLE; |
|
|
|
vartype = VarType.VARTYPE_DOUBLE; |
|
|
|
} |
|
|
|
} |
|
|
|
pushEx(stack, exprlist, new ArrayExprent(arr, index, arrtypes[instr.opcode - opc_iaload], bytecode_offsets), vartype); |
|
|
|
pushEx(stack, exprlist, new ArrayExprent(arr, index, arrTypes[instr.opcode - opc_iaload], bytecode_offsets), vartype); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_istore: |
|
|
|
case opc_istore: |
|
|
|
case opc_lstore: |
|
|
|
case opc_lstore: |
|
|
@ -404,7 +372,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
Exprent top = stack.pop(); |
|
|
|
Exprent top = stack.pop(); |
|
|
|
int varindex = instr.getOperand(0); |
|
|
|
int varindex = instr.getOperand(0); |
|
|
|
AssignmentExprent assign = |
|
|
|
AssignmentExprent assign = |
|
|
|
new AssignmentExprent(new VarExprent(varindex, vartypes[instr.opcode - opc_istore], varProcessor), top, bytecode_offsets); |
|
|
|
new AssignmentExprent(new VarExprent(varindex, varTypes[instr.opcode - opc_istore], varProcessor), top, bytecode_offsets); |
|
|
|
exprlist.add(assign); |
|
|
|
exprlist.add(assign); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_iastore: |
|
|
|
case opc_iastore: |
|
|
@ -419,7 +387,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
Exprent index_store = stack.pop(); |
|
|
|
Exprent index_store = stack.pop(); |
|
|
|
Exprent arr_store = stack.pop(); |
|
|
|
Exprent arr_store = stack.pop(); |
|
|
|
AssignmentExprent arrassign = |
|
|
|
AssignmentExprent arrassign = |
|
|
|
new AssignmentExprent(new ArrayExprent(arr_store, index_store, arrtypes[instr.opcode - opc_iastore], bytecode_offsets), value, |
|
|
|
new AssignmentExprent(new ArrayExprent(arr_store, index_store, arrTypes[instr.opcode - opc_iastore], bytecode_offsets), value, |
|
|
|
bytecode_offsets); |
|
|
|
bytecode_offsets); |
|
|
|
exprlist.add(arrassign); |
|
|
|
exprlist.add(arrassign); |
|
|
|
break; |
|
|
|
break; |
|
|
@ -502,7 +470,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
case opc_ifge: |
|
|
|
case opc_ifge: |
|
|
|
case opc_ifgt: |
|
|
|
case opc_ifgt: |
|
|
|
case opc_ifle: |
|
|
|
case opc_ifle: |
|
|
|
exprlist.add(new IfExprent(negifs[func5[instr.opcode - opc_ifeq]], stack, bytecode_offsets)); |
|
|
|
exprlist.add(new IfExprent(negIfs[func5[instr.opcode - opc_ifeq]], stack, bytecode_offsets)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_if_icmpeq: |
|
|
|
case opc_if_icmpeq: |
|
|
|
case opc_if_icmpne: |
|
|
|
case opc_if_icmpne: |
|
|
@ -512,11 +480,11 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
case opc_if_icmple: |
|
|
|
case opc_if_icmple: |
|
|
|
case opc_if_acmpeq: |
|
|
|
case opc_if_acmpeq: |
|
|
|
case opc_if_acmpne: |
|
|
|
case opc_if_acmpne: |
|
|
|
exprlist.add(new IfExprent(negifs[func6[instr.opcode - opc_if_icmpeq]], stack, bytecode_offsets)); |
|
|
|
exprlist.add(new IfExprent(negIfs[func6[instr.opcode - opc_if_icmpeq]], stack, bytecode_offsets)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_ifnull: |
|
|
|
case opc_ifnull: |
|
|
|
case opc_ifnonnull: |
|
|
|
case opc_ifnonnull: |
|
|
|
exprlist.add(new IfExprent(negifs[func7[instr.opcode - opc_ifnull]], stack, bytecode_offsets)); |
|
|
|
exprlist.add(new IfExprent(negIfs[func7[instr.opcode - opc_ifnull]], stack, bytecode_offsets)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_tableswitch: |
|
|
|
case opc_tableswitch: |
|
|
|
case opc_lookupswitch: |
|
|
|
case opc_lookupswitch: |
|
|
@ -591,7 +559,7 @@ public class ExprProcessor implements CodeConstants { |
|
|
|
pushEx(stack, exprlist, new NewExprent(arrType, stack, dimensions, bytecode_offsets)); |
|
|
|
pushEx(stack, exprlist, new NewExprent(arrType, stack, dimensions, bytecode_offsets)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_newarray: |
|
|
|
case opc_newarray: |
|
|
|
pushEx(stack, exprlist, new NewExprent(new VarType(arr_type[instr.getOperand(0) - 4], 1), stack, 1, bytecode_offsets)); |
|
|
|
pushEx(stack, exprlist, new NewExprent(new VarType(arrTypeIds[instr.getOperand(0) - 4], 1), stack, 1, bytecode_offsets)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
case opc_dup: |
|
|
|
case opc_dup: |
|
|
|
pushEx(stack, exprlist, stack.getByOffset(-1).copy()); |
|
|
|
pushEx(stack, exprlist, stack.getByOffset(-1).copy()); |
|
|
|