r2angrdbg (pypi): Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
Keywords: angr|angrdbg|concrete|debugger|integration|r2|radare2