AIL is the angr intermediate language.

It is developed within the angr project.

WWW: https://github.com/angr/pyvex