GitHub - SVF-tools/Software-Analysis-Studio: 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 302 Commits 302 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