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

29 files

Filename	Content Type	Size
../
BasicBlockG.h	application/octet-stream	7.92 kB
CDG.h	application/octet-stream	13 kB
CFLGraph.h	application/octet-stream	6 kB
CHG.h	application/octet-stream	10 kB
CallGraph.h	application/octet-stream	15.1 kB
ConsG.h	application/octet-stream	12.6 kB
ConsGEdge.h	application/octet-stream	8.93 kB
ConsGNode.h	application/octet-stream	12.8 kB
DOTGraphTraits.h	application/octet-stream	6.08 kB
GenericGraph.h	application/octet-stream	15.7 kB
GraphPrinter.h	application/octet-stream	3.16 kB
GraphTraits.h	application/octet-stream	6.14 kB
GraphWriter.h	application/octet-stream	11.5 kB
ICFG.h	application/octet-stream	9.21 kB
ICFGEdge.h	application/octet-stream	7.26 kB
ICFGNode.h	application/octet-stream	15.7 kB
ICFGStat.h	application/octet-stream	4.7 kB
IRGraph.h	application/octet-stream	11.1 kB
SCC.h	application/octet-stream	9.84 kB
SVFG.h	application/octet-stream	17.1 kB
SVFGEdge.h	application/octet-stream	6.31 kB
SVFGNode.h	application/octet-stream	12 kB
SVFGOPT.h	application/octet-stream	14.2 kB
SVFGStat.h	application/octet-stream	7.78 kB
ThreadCallGraph.h	application/octet-stream	11.8 kB
VFG.h	application/octet-stream	27.5 kB
VFGEdge.h	application/octet-stream	7.65 kB
VFGNode.h	application/octet-stream	31.1 kB
WTO.h	application/octet-stream	22.1 kB