public void VpSequenceOfConstants() { Constant pre = Constant.Word16(0x0001); Constant fix = Constant.Word16(0x0002); Expression e = new MkSequence(PrimitiveType.Word32, pre, fix); var vp = new ExpressionSimplifier(segmentMap, new SsaEvaluationContext(arch.Object, null, dynamicLinker.Object), listener); e = e.Accept(vp); Assert.AreEqual("0x10002<32>", e.ToString()); }
public void VpSequenceOfConstants() { Constant pre = Constant.Word16(0x0001); Constant fix = Constant.Word16(0x0002); Expression e = new MkSequence(PrimitiveType.Word32, pre, fix); var vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, ssaIds)); e = e.Accept(vp); Assert.AreEqual("0x00010002", e.ToString()); }
public void VpMkSequenceToAddress() { Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711); Constant off = Constant.Word16(0x4111); Expression e = new MkSequence(PrimitiveType.Word32, seg, off); var vp = new ExpressionSimplifier(new SsaEvaluationContext(ssaIds)); e = e.Accept(vp); Assert.IsInstanceOf(typeof(Address), e); Assert.AreEqual("4711:4111", e.ToString()); }
public void VpMkSequenceToAddress() { Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711); Constant off = Constant.Word16(0x4111); arch.Setup(a => a.MakeSegmentedAddress(seg, off)).Returns(Address.SegPtr(0x4711, 0x4111)); Expression e = new MkSequence(PrimitiveType.Word32, seg, off); var vp = new ExpressionSimplifier(segmentMap, new SsaEvaluationContext(arch.Object, null, importResolver.Object), listener); e = e.Accept(vp); Assert.IsInstanceOf(typeof(Address), e); Assert.AreEqual("4711:4111", e.ToString()); }
public void VpMkSequenceToAddress() { Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711); Constant off = Constant.Word16(0x4111); arch.Expect(a => a.MakeSegmentedAddress(seg, off)).Return(Address.SegPtr(0x4711, 0x4111)); mr.ReplayAll(); Expression e = new MkSequence(PrimitiveType.Word32, seg, off); var vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, ssaIds)); e = e.Accept(vp); Assert.IsInstanceOf(typeof(Address), e); Assert.AreEqual("4711:4111", e.ToString()); mr.VerifyAll(); }
public void VpMkSequenceToAddress() { Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711); Constant off = Constant.Word16(0x4111); arch.Expect(a => a.MakeSegmentedAddress(seg, off)).Return(Address.SegPtr(0x4711, 0x4111)); mr.ReplayAll(); Expression e = new MkSequence(PrimitiveType.Word32, seg, off); var vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, ssaIds)); e = e.Accept(vp); Assert.IsInstanceOf(typeof(Address), e); Assert.AreEqual("4711:4111", e.ToString()); mr.VerifyAll(); }
public void VpSequenceOfConstants() { Constant pre = Constant.Word16(0x0001); Constant fix = Constant.Word16(0x0002); Expression e = new MkSequence(PrimitiveType.Word32, pre, fix); var vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, ssaIds)); e = e.Accept(vp); Assert.AreEqual("0x00010002", e.ToString()); }
public void VpMkSequenceToAddress() { Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711); Constant off = Constant.Word16(0x4111); Expression e = new MkSequence(PrimitiveType.Word32, seg, off); var vp = new ExpressionSimplifier(new SsaEvaluationContext(ssaIds)); e = e.Accept(vp); Assert.IsInstanceOf(typeof(Address), e); Assert.AreEqual("4711:4111", e.ToString()); }