SVF

405405731342015

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

http://svf-tools.github.io/SVF/

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

Other

Maintained