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

11 files

Filename	Content Type	Size
../
Andersen.h	application/octet-stream	12.5 kB
AndersenPWC.h	application/octet-stream	4.06 kB
CSC.h	application/octet-stream	2.51 kB
FlowSensitive.h	application/octet-stream	11.5 kB
Steensgaard.h	application/octet-stream	3.24 kB
TypeAnalysis.h	application/octet-stream	2.32 kB
VersionedFlowSensitive.h	application/octet-stream	10.5 kB
WPAFSSolver.h	application/octet-stream	6.82 kB
WPAPass.h	application/octet-stream	3.35 kB
WPASolver.h	application/octet-stream	5.13 kB
WPAStat.h	application/octet-stream	6.16 kB