SVF

A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.

Official SVF Homepage

https://github.com/SVF-tools/SVF

Other

Maintained