GitHub - SVF-tools/Software-Analysis-Studio: Teaching and Learning Software Analysis via SVF · GitHub

Repository navigation

Software-Analysis-Studio

Public template

About

Teaching and Learning Software Analysis via SVF

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

GPL-3.0 license

218 stars

25 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.vscode		.vscode
Assignment-1		Assignment-1
Assignment-2		Assignment-2
Assignment-3		Assignment-3
Assignment-4		Assignment-4
CodeGraph		CodeGraph
HelloWorld		HelloWorld
Lab-Z3		Lab-Z3
.DS_Store		.DS_Store
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
env.sh		env.sh

Repository files navigation

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

For more courses, refer to SVF-Teaching.

About

Teaching and Learning Software Analysis via SVF

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

GPL-3.0 license

218 stars

25 watching

Report repository

Releases

Packages

Used by

Contributors

Languages