SVF
A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.
Github:
- 9639631803342015
Workflow integration:
- cli
https://github.com/SVF-tools/SVF
Other
Maintained
A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.
https://github.com/SVF-tools/SVF
Other
Maintained