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

5 folders, 9 files

Filename	Content Type	Size
SVF-doxygen/	–	27.5 MB
cmake/	–	9.33 kB
docs/	–	5.32 MB
svf/	–	2.72 MB
svf-llvm/	–	572 kB
.gitignore	text/plain	258 B
CMakeLists.txt	text/plain	16.6 kB
Dockerfile	application/octet-stream	1.38 kB
LICENSE.TXT	text/plain	36.6 kB
README.md	text/markdown	8.14 kB
build.sh	application/octet-stream	9.85 kB
index.html	text/html	12.1 kB
package.json	application/json	2.3 kB
setup.sh	application/octet-stream	1.8 kB

About

github.com/SVF-tools/SVF

SVF-tools/SVF

Releases

Latest: 1.0.1176

6 days ago