The Lotus program analysis framework
cutelimination Thursday, November 13, 2025An 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
2
0