Analysis tools logo
0

SVF

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

Github:
    9209201713182015
Workflow integration:
  • Type: cli
    cli

Official SVF Homepage

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

Other

Maintained

Alternative Tools

  • 0Unibeautify
  • 0vera++
  • 0Veracode
  • 0weggli
  • 0XCode