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
../
CFGNormalizer.cpp	application/octet-stream	19.6 kB
CFGrammar.cpp	application/octet-stream	11.4 kB
CFLAlias.cpp	application/octet-stream	7.74 kB
CFLBase.cpp	application/octet-stream	4.86 kB
CFLGraphBuilder.cpp	application/octet-stream	25 kB
CFLSVFGBuilder.cpp	application/octet-stream	3.09 kB
CFLSolver.cpp	application/octet-stream	12.3 kB
CFLStat.cpp	application/octet-stream	2.46 kB
CFLVF.cpp	application/octet-stream	2.94 kB
GrammarBuilder.cpp	application/octet-stream	6.2 kB