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

Teaching and Learning Software Analysis via SVF
https://github.com/svf-tools/teaching-software-analysis

course information-flow points-to-analysis software-analysis static-analysis taint-analysis

Last synced: 8 months ago
JSON representation

Teaching and Learning Software Analysis via SVF

• Host: GitHub
• URL: https://github.com/svf-tools/teaching-software-analysis
• Owner: SVF-tools
• License: gpl-3.0
• Created: 2020-12-30T02:10:32.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2025-05-24T13:05:26.000Z (9 months ago)
• Last Synced: 2025-05-24T14:39:18.356Z (9 months ago)
• Topics: course, information-flow, points-to-analysis, software-analysis, static-analysis, taint-analysis
• Language: C++
• Homepage:
• Size: 28.6 MB
• Stars: 204
• Watchers: 24
• Forks: 118
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[Software-Analysis-Teaching Contents](https://github.com/SVF-tools/Teaching-Software-Analysis/wiki)

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

For more courses, refer to [SVF-Teaching](https://github.com/SVF-tools/SVF-Teaching).