UNPKG

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.

github.com/SVF-tools/SVF

SVF-tools/SVF

9 lines (5 loc) • 399 B
1
2
3
4
5
6
7
8
9
# 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)