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

26 files

Filename	Content Type	Size
../
Annotator.h	application/octet-stream	4.67 kB
BitVector.h	application/octet-stream	1.4 kB
CDGBuilder.h	application/octet-stream	3.28 kB
CallGraphBuilder.h	application/octet-stream	1.63 kB
Casting.h	application/octet-stream	13.5 kB
CommandLine.h	application/octet-stream	17.3 kB
CoreBitVector.h	application/octet-stream	6.38 kB
CxtStmt.h	application/octet-stream	13 kB
DPItem.h	application/octet-stream	15.5 kB
ExtAPI.h	application/octet-stream	3.31 kB
GeneralType.h	application/octet-stream	4.28 kB
GraphReachSolver.h	application/octet-stream	4.9 kB
NodeIDAllocator.h	application/octet-stream	8.83 kB
Options.h	application/octet-stream	9.49 kB
PTAStat.h	application/octet-stream	1.99 kB
SVFBugReport.h	application/octet-stream	12.2 kB
SVFLoopAndDomInfo.h	application/octet-stream	4.97 kB
SVFStat.h	application/octet-stream	2.56 kB
SVFUtil.h	application/octet-stream	13.3 kB
SparseBitVector.h	application/octet-stream	36.9 kB
ThreadAPI.h	application/octet-stream	5.26 kB
WorkList.h	application/octet-stream	6.86 kB
Z3Expr.h	application/octet-stream	7.21 kB
cJSON.h	application/octet-stream	16.2 kB
iterator.h	application/octet-stream	13.6 kB
iterator_range.h	application/octet-stream	2.31 kB