GitHub - AvaSang/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 297 Commits
.github/workflows		.github/workflows
.vscode		.vscode
Assignment-1		Assignment-1
Assignment-2		Assignment-2
Assignment-3		Assignment-3
Assignment-4		Assignment-4
CMakeFiles		CMakeFiles
CodeGraph		CodeGraph
HelloWorld		HelloWorld
bin		bin
lib		lib
.DS_Store		.DS_Store
.gitignore		.gitignore
CMakeCache.txt		CMakeCache.txt
CMakeLists.txt		CMakeLists.txt
CTestTestfile.cmake		CTestTestfile.cmake
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
build.sh		build.sh
cmake_install.cmake		cmake_install.cmake
env.sh		env.sh

Navigation Menu