https://github.com/svf-tools/software-security-analysis

Static Analysis Course
https://github.com/svf-tools/software-security-analysis

abstract-interpretation data-flow-analysis static-analysis static-analysis-course symbolic-execution value-flow

Last synced: 3 months ago
JSON representation

Static Analysis Course

• Host: GitHub
• URL: https://github.com/svf-tools/software-security-analysis
• Owner: SVF-tools
• License: gpl-3.0
• Created: 2024-04-28T11:06:56.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2025-06-10T00:48:26.000Z (about 1 year ago)
• Last Synced: 2025-06-10T01:33:09.735Z (about 1 year ago)
• Topics: abstract-interpretation, data-flow-analysis, static-analysis, static-analysis-course, symbolic-execution, value-flow
• Language: C++
• Homepage: https://github.com/SVF-tools/Software-Security-Analysis/wiki
• Size: 73.6 MB
• Stars: 67
• Watchers: 3
• Forks: 25
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Static Analysis Course / Software Security Analysis Course

[Course Content](https://github.com/SVF-tools/Software-Security-Analysis/wiki)

If you fork this repository, please make it as private and do not disclose your solutions.