예제 #1
0
        public void VpShiftShift()
        {
            Identifier id = m.Reg32("id");
            Expression e  = m.Shl(m.Shl(id, 1), 4);
            var        vp = new ExpressionSimplifier(segmentMap, new SsaEvaluationContext(arch.Object, m.Ssa.Identifiers, dynamicLinker.Object), listener);

            e = e.Accept(vp);
            Assert.AreEqual("id << 5<8>", e.ToString());
        }
예제 #2
0
        public void VpShiftShift()
        {
            Identifier id = m.Reg32("id");
            Expression e  = m.Shl(m.Shl(id, 1), 4);
            var        vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, m.Ssa.Identifiers), listener);

            e = e.Accept(vp);
            Assert.AreEqual("id << 0x05", e.ToString());
        }