Automating the building of KLEE

[antiagainst]

Hi All,

I have written some scripts for automating the building of KLEE. I am familiar with Archlinux and Ubuntu, so only these two distros are supported right now. May add more latter.

https://github.com/antiAgainst/klee-build-scripts

Hope this helps!

[delcypher]

@antiagainst Nice. You should consider putting the Arch packages in AUR.

[antiagainst]

@delcypher :)

Yes. I am considering to do that after the failed tests are handled.

[darwinyip]

May I ask what is the current stable support for KLEE? Is it LLVM 3.3 or 3.4? Also, is stp-r940 still being recommended?

[antiagainst]

@darwinyip The current recommended settings for KLEE is still LLVM 2.9. LLVM 3.3 and 3.4 is still experimental. For STP, there exists discussion to stop recommend r940. It would be OK to use newer version of STP.