Use angr in the IDA Pro debugger generating a state from the current debug session
This project is maintained by andreafioraldi
Copy the folder idangr and the file idangr_plugin.py in the IDA 7 plugins subfolder.
The files idangr_core.py and idangr_gui.py must not be copied, they must be loaded as scripts if you don’t want to install the plugin.