Analysis tools logo
0

SVF

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

Github:
    5655651151782015
Workflow integration:
  • Type: cli
    cli

Official SVF Homepage

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

Other

Maintained

Similar Tools

  • 3Unibeautify
  • 0vera++
  • 0Veracode
  • -1XCode
  • -1Synopsys