Use angr in the IDA Pro debugger generating a state from the current debug session - View it on GitHub