exploration_techiniques/tracer.py:
if len(succs) == 1:
self._update_state_tracking(succs[0])
+ succs_dict[None] = [succs[0]]
elif len(succs) == 0:
raise Exception("All states disappeared!")
else:
succ = self._pick_correct_successor(succs)
succs_dict[None] = [succ]
succs_dict['missed'] = [s for s in succs if s is not succ]
...
def _sync_return(self, state, idx, assert_obj=None):
+ return False
/usr/local/lib/python3.6/dist-packages/pwnlib/asm.py:line 782
...
bfdname = _bfdname()
- objdump = _objdump() + ['-d', '--adjust-vma', str(vma), '-b', bfdname]
+ objdump = _objdump() + ['-d', '--adjust-vma', str(vma), '-b', bfdname, '-m', 'mips:16000']
objcopy = _objcopy() + [
...
ast/base.py:
...
if args[4] is True:
extras.append("UNINITIALIZED")
- return "{}{}".format(args[0], '{%s}' % ', '.join(extras) if extras else '')
+ return ""
...