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 files

Filename	Content Type	Size
../
DoubleFreeChecker.h	application/octet-stream	1.94 kB
FileChecker.h	application/octet-stream	1.96 kB
LeakChecker.h	application/octet-stream	3.33 kB
ProgSlice.h	application/octet-stream	9.9 kB
SaberCheckerAPI.h	application/octet-stream	3.73 kB
SaberCondAllocator.h	application/octet-stream	11.1 kB
SaberSVFGBuilder.h	application/octet-stream	3.69 kB
SrcSnkDDA.h	application/octet-stream	8.91 kB
SrcSnkSolver.h	application/octet-stream	4.85 kB