Giters

SVF-tools / Software-Security-Analysis

Software Security Analysis Course

Home Page:https://github.com/SVF-tools/Software-Security-Analysis/wiki

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

abstract-interpretationdata-flow-analysisstatic-analysisstatic-analysis-coursesymbolic-executionvalue-flow

Software-Security-Analysis Course

Course Content

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

About

Software Security Analysis Course

https://github.com/SVF-tools/Software-Security-Analysis/wiki

abstract-interpretationdata-flow-analysisstatic-analysisstatic-analysis-coursesymbolic-executionvalue-flow

License:GNU General Public License v3.0

Languages

Language:C++ 56.4%Language:LLVM 33.9%Language:CMake 5.3%Language:C 2.8%Language:Shell 0.8%Language:Dockerfile 0.8%