Analysis tools logo
0

SVF

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

Github:
    467467921512015
Workflow integration:
  • Type: cli
    cli

Official SVF Homepage

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

Other

Maintained