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

1 folder, 11 files

Filename	Content Type	Size
../
grammar/	–	1.36 kB
CFGNormalizer.h	application/octet-stream	2.7 kB
CFGrammar.h	application/octet-stream	12.4 kB
CFLAlias.h	application/octet-stream	5.33 kB
CFLBase.h	application/octet-stream	3.5 kB
CFLGramGraphChecker.h	application/octet-stream	2.67 kB
CFLGraphBuilder.h	application/octet-stream	6.36 kB
CFLSVFGBuilder.h	application/octet-stream	1.7 kB
CFLSolver.h	application/octet-stream	9.22 kB
CFLStat.h	application/octet-stream	1.49 kB
CFLVF.h	application/octet-stream	1.67 kB
GrammarBuilder.h	application/octet-stream	3.25 kB