The Lotus program analysis framework

2 points by cutelimination 2 days ago

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