Analysis tools logo
0

SVF

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

Github:
    9639631803342015
Workflow integration:
  • Type: cli
    cli
Screenshot of SVF website

Official SVF Homepage

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

Other

Maintained

Alternative Tools

  • 5CodeSonar from GrammaTech
  • 0vera++
  • 0Veracode
  • -1weggli
  • -1XCode
© analysis-tools.dev