static Value getUnknownValue(TypeReference typeReference) { if (typeReference == null) { return(new UnknownValue()); } switch (typeReference.EType) { case ElementType.Boolean: return(Int32Value.createUnknownBool()); case ElementType.I1: return(Int32Value.createUnknown()); case ElementType.U1: return(Int32Value.createUnknownUInt8()); case ElementType.I2: return(Int32Value.createUnknown()); case ElementType.U2: return(Int32Value.createUnknownUInt16()); case ElementType.I4: return(Int32Value.createUnknown()); case ElementType.U4: return(Int32Value.createUnknown()); case ElementType.I8: return(Int64Value.createUnknown()); case ElementType.U8: return(Int64Value.createUnknown()); } return(new UnknownValue()); }
void emulate_Conv_I8(Instruction instr) { var val1 = valueStack.pop(); switch (val1.valueType) { case ValueType.Int32: valueStack.push(Int64Value.Conv_I8((Int32Value)val1)); break; case ValueType.Int64: valueStack.push(Int64Value.Conv_I8((Int64Value)val1)); break; case ValueType.Real8: valueStack.push(Int64Value.Conv_I8((Real8Value)val1)); break; default: valueStack.push(Int64Value.createUnknown()); break; } }
void emulateIntOps2() { var val2 = valueStack.pop(); var val1 = valueStack.pop(); if (val1.isInt32() && val2.isInt32()) { valueStack.push(Int32Value.createUnknown()); } else if (val1.isInt64() && val2.isInt64()) { valueStack.push(Int64Value.createUnknown()); } else { valueStack.pushUnknown(); } }
public void emulate(Instruction instr) { switch (instr.OpCode.Code) { case Code.Starg: case Code.Starg_S: emulate_Starg((ParameterDefinition)instr.Operand); break; case Code.Stloc: case Code.Stloc_S: emulate_Stloc(((VariableDefinition)instr.Operand).Index); break; case Code.Stloc_0: emulate_Stloc(0); break; case Code.Stloc_1: emulate_Stloc(1); break; case Code.Stloc_2: emulate_Stloc(2); break; case Code.Stloc_3: emulate_Stloc(3); break; case Code.Ldarg: case Code.Ldarg_S: valueStack.push(getArg((ParameterDefinition)instr.Operand)); break; case Code.Ldarg_0: valueStack.push(getArg(0)); break; case Code.Ldarg_1: valueStack.push(getArg(1)); break; case Code.Ldarg_2: valueStack.push(getArg(2)); break; case Code.Ldarg_3: valueStack.push(getArg(3)); break; case Code.Ldloc: case Code.Ldloc_S: valueStack.push(getLocal((VariableDefinition)instr.Operand)); break; case Code.Ldloc_0: valueStack.push(getLocal(0)); break; case Code.Ldloc_1: valueStack.push(getLocal(1)); break; case Code.Ldloc_2: valueStack.push(getLocal(2)); break; case Code.Ldloc_3: valueStack.push(getLocal(3)); break; case Code.Ldarga: case Code.Ldarga_S: emulate_Ldarga((ParameterDefinition)instr.Operand); break; case Code.Ldloca: case Code.Ldloca_S: emulate_Ldloca(((VariableDefinition)instr.Operand).Index); break; case Code.Dup: valueStack.copyTop(); break; case Code.Ldc_I4: valueStack.push(new Int32Value((int)instr.Operand)); break; case Code.Ldc_I4_S: valueStack.push(new Int32Value((sbyte)instr.Operand)); break; case Code.Ldc_I8: valueStack.push(new Int64Value((long)instr.Operand)); break; case Code.Ldc_R4: valueStack.push(new Real8Value((float)instr.Operand)); break; case Code.Ldc_R8: valueStack.push(new Real8Value((double)instr.Operand)); break; case Code.Ldc_I4_0: valueStack.push(Int32Value.zero); break; case Code.Ldc_I4_1: valueStack.push(Int32Value.one); break; case Code.Ldc_I4_2: valueStack.push(new Int32Value(2)); break; case Code.Ldc_I4_3: valueStack.push(new Int32Value(3)); break; case Code.Ldc_I4_4: valueStack.push(new Int32Value(4)); break; case Code.Ldc_I4_5: valueStack.push(new Int32Value(5)); break; case Code.Ldc_I4_6: valueStack.push(new Int32Value(6)); break; case Code.Ldc_I4_7: valueStack.push(new Int32Value(7)); break; case Code.Ldc_I4_8: valueStack.push(new Int32Value(8)); break; case Code.Ldc_I4_M1: valueStack.push(new Int32Value(-1)); break; case Code.Ldnull: valueStack.push(NullValue.Instance); break; case Code.Ldstr: valueStack.push(new StringValue((string)instr.Operand)); break; case Code.Box: valueStack.push(new BoxedValue(valueStack.pop())); break; case Code.Conv_U1: emulate_Conv_U1(instr); break; case Code.Conv_U2: emulate_Conv_U2(instr); break; case Code.Conv_U4: emulate_Conv_U4(instr); break; case Code.Conv_U8: emulate_Conv_U8(instr); break; case Code.Conv_I1: emulate_Conv_I1(instr); break; case Code.Conv_I2: emulate_Conv_I2(instr); break; case Code.Conv_I4: emulate_Conv_I4(instr); break; case Code.Conv_I8: emulate_Conv_I8(instr); break; case Code.Add: emulate_Add(instr); break; case Code.Sub: emulate_Sub(instr); break; case Code.Mul: emulate_Mul(instr); break; case Code.Div: emulate_Div(instr); break; case Code.Div_Un: emulate_Div_Un(instr); break; case Code.Rem: emulate_Rem(instr); break; case Code.Rem_Un: emulate_Rem_Un(instr); break; case Code.Neg: emulate_Neg(instr); break; case Code.And: emulate_And(instr); break; case Code.Or: emulate_Or(instr); break; case Code.Xor: emulate_Xor(instr); break; case Code.Not: emulate_Not(instr); break; case Code.Shl: emulate_Shl(instr); break; case Code.Shr: emulate_Shr(instr); break; case Code.Shr_Un: emulate_Shr_Un(instr); break; case Code.Ceq: emulate_Ceq(instr); break; case Code.Cgt: emulate_Cgt(instr); break; case Code.Cgt_Un: emulate_Cgt_Un(instr); break; case Code.Clt: emulate_Clt(instr); break; case Code.Clt_Un: emulate_Clt_Un(instr); break; case Code.Unbox_Any: emulate_Unbox_Any(instr); break; case Code.Call: emulate_Call(instr); break; case Code.Callvirt: emulate_Callvirt(instr); break; case Code.Castclass: emulate_Castclass(instr); break; case Code.Isinst: emulate_Isinst(instr); break; case Code.Add_Ovf: emulateIntOps2(); break; case Code.Add_Ovf_Un: emulateIntOps2(); break; case Code.Sub_Ovf: emulateIntOps2(); break; case Code.Sub_Ovf_Un: emulateIntOps2(); break; case Code.Mul_Ovf: emulateIntOps2(); break; case Code.Mul_Ovf_Un: emulateIntOps2(); break; case Code.Conv_Ovf_I1: case Code.Conv_Ovf_I1_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Conv_Ovf_I2: case Code.Conv_Ovf_I2_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Conv_Ovf_I4: case Code.Conv_Ovf_I4_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Conv_Ovf_I8: case Code.Conv_Ovf_I8_Un: valueStack.pop(); valueStack.push(Int64Value.createUnknown()); break; case Code.Conv_Ovf_U1: case Code.Conv_Ovf_U1_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknownUInt8()); break; case Code.Conv_Ovf_U2: case Code.Conv_Ovf_U2_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknownUInt16()); break; case Code.Conv_Ovf_U4: case Code.Conv_Ovf_U4_Un: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Conv_Ovf_U8: case Code.Conv_Ovf_U8_Un: valueStack.pop(); valueStack.push(Int64Value.createUnknown()); break; case Code.Ldelem_I1: valueStack.pop(2); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldelem_I2: valueStack.pop(2); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldelem_I4: valueStack.pop(2); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldelem_I8: valueStack.pop(2); valueStack.push(Int64Value.createUnknown()); break; case Code.Ldelem_U1: valueStack.pop(2); valueStack.push(Int32Value.createUnknownUInt8()); break; case Code.Ldelem_U2: valueStack.pop(2); valueStack.push(Int32Value.createUnknownUInt16()); break; case Code.Ldelem_U4: valueStack.pop(2); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldelem_Any: valueStack.pop(2); valueStack.push(getUnknownValue(instr.Operand as TypeReference)); break; case Code.Ldind_I1: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldind_I2: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldind_I4: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldind_I8: valueStack.pop(); valueStack.push(Int64Value.createUnknown()); break; case Code.Ldind_U1: valueStack.pop(); valueStack.push(Int32Value.createUnknownUInt8()); break; case Code.Ldind_U2: valueStack.pop(); valueStack.push(Int32Value.createUnknownUInt16()); break; case Code.Ldind_U4: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Ldlen: valueStack.pop(); valueStack.push(Int32Value.createUnknown()); break; case Code.Sizeof: valueStack.push(Int32Value.createUnknown()); break; case Code.Ldfld: emulate_Ldfld(instr); break; case Code.Ldsfld: emulate_Ldsfld(instr); break; case Code.Unbox: case Code.Conv_R_Un: case Code.Conv_R4: case Code.Conv_R8: case Code.Arglist: case Code.Beq: case Code.Beq_S: case Code.Bge: case Code.Bge_S: case Code.Bge_Un: case Code.Bge_Un_S: case Code.Bgt: case Code.Bgt_S: case Code.Bgt_Un: case Code.Bgt_Un_S: case Code.Ble: case Code.Ble_S: case Code.Ble_Un: case Code.Ble_Un_S: case Code.Blt: case Code.Blt_S: case Code.Blt_Un: case Code.Blt_Un_S: case Code.Bne_Un: case Code.Bne_Un_S: case Code.Brfalse: case Code.Brfalse_S: case Code.Brtrue: case Code.Brtrue_S: case Code.Br: case Code.Br_S: case Code.Break: case Code.Calli: case Code.Ckfinite: case Code.Constrained: case Code.Conv_I: case Code.Conv_Ovf_I: case Code.Conv_Ovf_I_Un: case Code.Conv_Ovf_U: case Code.Conv_Ovf_U_Un: case Code.Conv_U: case Code.Cpblk: case Code.Cpobj: case Code.Endfilter: case Code.Endfinally: case Code.Initblk: case Code.Initobj: case Code.Jmp: case Code.Ldelema: case Code.Ldelem_I: case Code.Ldelem_R4: case Code.Ldelem_R8: case Code.Ldelem_Ref: case Code.Ldflda: case Code.Ldftn: case Code.Ldind_I: case Code.Ldind_R4: case Code.Ldind_R8: case Code.Ldind_Ref: case Code.Ldobj: case Code.Ldsflda: case Code.Ldtoken: case Code.Ldvirtftn: case Code.Leave: case Code.Leave_S: case Code.Localloc: case Code.Mkrefany: case Code.Newarr: case Code.Newobj: case Code.No: case Code.Nop: case Code.Pop: case Code.Readonly: case Code.Refanytype: case Code.Refanyval: case Code.Ret: case Code.Rethrow: case Code.Stelem_Any: case Code.Stelem_I: case Code.Stelem_I1: case Code.Stelem_I2: case Code.Stelem_I4: case Code.Stelem_I8: case Code.Stelem_R4: case Code.Stelem_R8: case Code.Stelem_Ref: case Code.Stfld: case Code.Stind_I: case Code.Stind_I1: case Code.Stind_I2: case Code.Stind_I4: case Code.Stind_I8: case Code.Stind_R4: case Code.Stind_R8: case Code.Stind_Ref: case Code.Stobj: case Code.Stsfld: case Code.Switch: case Code.Tail: case Code.Throw: case Code.Unaligned: case Code.Volatile: default: updateStack(instr); break; } }
static Value truncateValue(Value value, TypeReference typeReference) { if (typeReference == null) { return(value); } switch (typeReference.EType) { case ElementType.Boolean: if (value.isInt32()) { return(((Int32Value)value).toBoolean()); } return(Int32Value.createUnknownBool()); case ElementType.I1: if (value.isInt32()) { return(((Int32Value)value).toInt8()); } return(Int32Value.createUnknown()); case ElementType.U1: if (value.isInt32()) { return(((Int32Value)value).toUInt8()); } return(Int32Value.createUnknownUInt8()); case ElementType.I2: if (value.isInt32()) { return(((Int32Value)value).toInt16()); } return(Int32Value.createUnknown()); case ElementType.U2: if (value.isInt32()) { return(((Int32Value)value).toUInt16()); } return(Int32Value.createUnknownUInt16()); case ElementType.I4: case ElementType.U4: if (value.isInt32()) { return(value); } return(Int32Value.createUnknown()); case ElementType.I8: case ElementType.U8: if (value.isInt64()) { return(value); } return(Int64Value.createUnknown()); } return(value); }
Value truncateValue(Value value, TypeReference typeReference) { if (typeReference == null) { return(value); } if (protectedStackValues.ContainsKey(value)) { return(value); } switch (typeReference.EType) { case ElementType.Boolean: if (value.isInt32()) { return(((Int32Value)value).toBoolean()); } return(Int32Value.createUnknownBool()); case ElementType.I1: if (value.isInt32()) { return(((Int32Value)value).toInt8()); } return(Int32Value.createUnknown()); case ElementType.U1: if (value.isInt32()) { return(((Int32Value)value).toUInt8()); } return(Int32Value.createUnknownUInt8()); case ElementType.I2: if (value.isInt32()) { return(((Int32Value)value).toInt16()); } return(Int32Value.createUnknown()); case ElementType.U2: if (value.isInt32()) { return(((Int32Value)value).toUInt16()); } return(Int32Value.createUnknownUInt16()); case ElementType.I4: case ElementType.U4: if (value.isInt32()) { return(value); } return(Int32Value.createUnknown()); case ElementType.I8: case ElementType.U8: if (value.isInt64()) { return(value); } return(Int64Value.createUnknown()); case ElementType.R4: if (value.isReal8()) { return(new Real8Value((float)((Real8Value)value).value)); } return(new UnknownValue()); case ElementType.R8: if (value.isReal8()) { return(value); } return(new UnknownValue()); } return(value); }