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

6 files

Filename	Content Type	Size
../
AEDetector.h	application/octet-stream	14.4 kB
AEStat.h	application/octet-stream	2.33 kB
AEWTO.h	application/octet-stream	3.14 kB
AbsExtAPI.h	application/octet-stream	4.13 kB
AbstractInterpretation.h	application/octet-stream	13.5 kB
SparseAbstractInterpretation.h	application/octet-stream	7.68 kB