angrgdb (pypi): Use angr inside GDB. Create an angr state from the current debugger state.
Keywords: angr|angrdbg|concrete|debugger|gdb|plugin|python