An industrial-scale program analysis framework on LLVM, with multiple intermediate representations, alias analyses, interprocedural dataflow analysis engines, and more.

https://github.com/ZJU-Automated-Reasoning-Group/lotus