def test_CHR(self): cs = ConstraintSet() a = cs.new_bitvec(8) cs.add(Operators.CHR(a) == Operators.CHR(0x41)) self.assertTrue(solver.check(cs)) self.assertEqual(solver.get_value(cs, a), 0x41)
def write(mem, where, val, size): mem[where:where + size / 8] = [ Operators.CHR(Operators.EXTRACT(val, offset, 8)) for offset in xrange(0, size, 8) ]
def read(self, addr, size): result = [] for i in xrange(size): result.append(Operators.CHR(self.mem[addr + i])) return result