GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - SVF-tools/Software-Analysis-Studio: Teaching and Learning Software Analysis via SVF

BranchesTags
Open more actions menu

Latest commit

 

History

318 Commits
318 Commits

Folders and files

NameName
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

Topics

courseinformation-flowpoints-to-analysissoftware-analysisstatic-analysistaint-analysis

Resources

Readme
GPL-3.0 license
Activity

Stars

218 stars

Watchers

25 watching

Forks

153 forks
Report repository

Releases

Packages

Used by

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.