ghidra

afl

angr

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

pwntools

/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() + [
    ...

claripy

ast/base.py:

...
								if args[4] is True:
                    extras.append("UNINITIALIZED")
-               return "{}{}".format(args[0], '{%s}' % ', '.join(extras) if extras else '')
+               return ""
...