SVF
A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.
Github:
- 6106101291862015
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