GitHub repository: ludoplex/r2angrdbg
Description: Use angr inside the radare2 debugger. Create an angr state from the current debugger state.