angrdbg (pypi): Abstract library to generate angr states from a debugger state
Keywords: angr|concrete|debugger|synchronization