The angr intermediate language.

Homepage:
https://github.com/angr/ailment
