svf-tools
Version:
* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.
9 lines (5 loc) • 399 B
Markdown
# SVF-Teaching
Learning and Teaching Software Analysis, Verification and AI via [SVF](https://github.com/SVF-tools/SVF)
[Software Security Analysis Course](https://github.com/SVF-tools/Software-Security-Analysis) (new!)
[Software Analysis Course](https://github.com/SVF-tools/Teaching-Software-Analysis)
[Software Verification Course](https://github.com/SVF-tools/Teaching-Software-Verification)