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

10 files

Filename	Content Type	Size
../
AbstractPointsToDS.h	application/octet-stream	12.7 kB
AccessPath.h	application/octet-stream	6.51 kB
ConditionalPT.h	application/octet-stream	23 kB
MutablePointsToDS.h	application/octet-stream	32.9 kB
PersistentPointsToCache.h	application/octet-stream	15.4 kB
PersistentPointsToDS.h	application/octet-stream	30.9 kB
PointerAnalysis.h	application/octet-stream	13.1 kB
PointerAnalysisImpl.h	application/octet-stream	20.3 kB
PointsTo.h	application/octet-stream	7.13 kB
SVFLoop.h	application/octet-stream	3.85 kB