Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
The Lotus program analysis framework
2 points
cutelimination
7 months 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
No comment yet
The Lotus program analysis framework | Heykuki News