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

36 files

Filename	Content Type	Size
../
PAG.png	image/png	115 kB
andersen.png	image/png	11.5 kB
callgraph.png	image/png	17.8 kB
consG.png	image/png	66.3 kB
cpu2000-flto	application/octet-stream	17.5 kB
cpu2006-flto	application/octet-stream	18.2 kB
database.png	image/png	6.95 kB
framework.png	image/png	39.7 kB
help.png	image/png	6.65 kB
icfg.png	image/png	264 kB
mssa-cha.png	image/png	9.55 kB
pagedge.png	image/png	6.83 kB
pagnode.png	image/png	9.65 kB
pt.png	image/png	49.3 kB
setupcmake.png	image/png	309 kB
setupconfiguration.png	image/png	285 kB
setupdashboard.png	image/png	395 kB
setupdebug.png	image/png	85.4 kB
setupenv.png	image/png	237 kB
startup.png	image/png	111 kB
svf-stat.pdf	application/pdf	229 kB
svf_logo_1.png	image/png	96.8 kB
svf_logo_2.png	image/png	45.4 kB
svf_logo_3.png	image/png	31 kB
svfg-framework.png	image/png	30.7 kB
svfg.png	image/png	109 kB
svfg_opt.png	image/png	95.4 kB
svfgedge-cha.png	image/png	10 kB
svfgnode-cha.png	image/png	15.6 kB
tools.png	image/png	6.32 kB
users.png	image/png	6.97 kB
vm1.png	image/png	194 kB
vm2.png	image/png	516 kB
vm3.png	image/png	513 kB
vm4.png	image/png	588 kB
vm5.png	image/png	637 kB