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

Static Value-Flow Analysis Framework for Source Code
https://github.com/SVF-tools/SVF

code-analysis code-security dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow

Last synced: about 2 months ago
JSON representation

Static Value-Flow Analysis Framework for Source Code

• Host: GitHub
• URL: https://github.com/SVF-tools/SVF
• Owner: SVF-tools
• License: other
• Created: 2015-06-05T01:52:24.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-05-23T05:52:20.000Z (4 months ago)
• Last Synced: 2024-05-23T06:27:13.137Z (4 months ago)
• Topics: code-analysis, code-security, dependency-analysis, llvm, pointer-analysis, points-to-analysis, source-code-analysis, static-analysis, static-analyzer, static-value-flow
• Language: C++
• Homepage: http://svf-tools.github.io/SVF/
• Size: 17.9 MB
• Stars: 1,314
• Watchers: 56
• Forks: 418
• Open Issues: 277
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.TXT

Awesome Lists containing this project