Python convert_to_bitvec примеры использования

Пример #1

 def operate_MUL(self, *values):
     s0 = hlp.convert_to_bitvec(values[0])
     s1 = hlp.convert_to_bitvec(values[1])
     return hlp.get_concrete_int(s0 * s1)

Пример #2

 def symbolic_add(self, *values):
     s0 = hlp.convert_to_bitvec(values[0])
     s1 = hlp.convert_to_bitvec(values[1])
     return hlp.get_concrete_int(s0 + s1)