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
https://github.com/ZJU-Automated-Reasoning-Group/lotus