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, 38 files

Filename	Content Type	Size
../
svfpic/	–	22 MB
PAG.png	image/png	130 kB
andersen.png	image/png	11.5 kB
callgraph.png	image/png	12.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
cpu2017-wllvm.cfg	application/octet-stream	51.5 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	229 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	210 kB
svfg-framework.png	image/png	30.7 kB
svfg.png	image/png	271 kB
svfg_opt.png	image/png	148 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
vscode_build_tasks.png	image/png	9.28 kB
vscode_cpp_extension.png	image/png	91.9 kB
vscode_debug_list.png	image/png	23.3 kB
vscode_dir_structure.png	image/png	38.3 kB