AILment

AIL is the angr intermediate language.

Project Links

Project repository: https://github.com/angr/ailment

Documentation: https://api.angr.io/projects/ailment/en/latest/