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
