Compiler intermediate language for static analysis. - View it on GitHub