Analysis tools logo
0

SVF

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

Github:
    6106101291862015
Workflow integration:
  • Type: cli
    cli

Official SVF Homepage

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

Other

Maintained

Alternative Tools

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