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

14 files

Filename	Content Type	Size
../
BitVector.cpp	application/octet-stream	858 B
CDGBuilder.cpp	application/octet-stream	8.46 kB
CallGraphBuilder.cpp	application/octet-stream	4.15 kB
CoreBitVector.cpp	application/octet-stream	13.3 kB
ExtAPI.cpp	application/octet-stream	9.86 kB
NodeIDAllocator.cpp	application/octet-stream	28 kB
Options.cpp	application/octet-stream	20.6 kB
PTAStat.cpp	application/octet-stream	4.98 kB
SVFBugReport.cpp	application/octet-stream	14.6 kB
SVFStat.cpp	application/octet-stream	9.56 kB
SVFUtil.cpp	application/octet-stream	11.3 kB
ThreadAPI.cpp	application/octet-stream	12.6 kB
Z3Expr.cpp	application/octet-stream	4.26 kB
cJSON.cpp	application/octet-stream	77.2 kB