search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.4k stars 437 forks source link

SVF in VirtualBox #62

Open zyw333999 opened 6 years ago

zyw333999 commented 6 years ago

you say we can get the image SVF.ova and we can test the spec2000 and other benchmarks , but i can't connect the image SVF.ova, so I want to know the reason .

Thank you!

yuleisui commented 6 years ago

The vm image contains a pretty old version of LLVM (3.2) and a version of SVF more than 2 years old. I would suggest you follow our set up guide to build the lastest SVF.

zyw333999 commented 6 years ago

I need the tests, the spec 2000 and other benchmarks eg. wine, icecast .... I want to experimentalize on the benchmarks.

zyw333999 commented 6 years ago

Can you give the SVF.ova image , if you can ,thank you very much.

yuleisui commented 6 years ago

If you have a little bit more patience, it will be fairly easy to set up SVF and analyze SPEC 2000. It may not be useful to use a pretty old version if you want to get more recent data since SVF evolved a lot during the past two years

Setup https://github.com/SVF-tools/SVF/wiki/Setup-Guide#getting-started

Analyze SPEC 2000/2006 https://github.com/SVF-tools/SVF/wiki/Compiling-CPU2000-2006