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

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

For more courses, refer to SVF-Teaching.

Name		Name	Last commit message	Last commit date
Latest commit History 272 Commits
.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
.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

Provide feedback