KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4)

[Emil Rakadjiev]

Hi everyone,

I've attached 2 simple KLEE setup scripts, one for LLVM 2.9 and another
for 3.4. They include all necessary patches, etc. I hope they will be
useful for other KLEE users, too. Especially with LLVM 3.4 it takes some
time to figure out how to build everything successfully (the
"Experimental" guide on the website seems to be outdated).

They work on 64-bit Ubuntu 14.04.
On 12.04, cmake 2.8.8 or higher has to be installed, I used 2.8.12.2 (
How-to:
http://cameo54321.blogspot.com/2014/02/installing-cmake-288-or-higher-on.html
). Furthermore, for LLVM 3.4, besides the newer cmake, also GCC 4.8 or
higher is required ( How-to:
http://mortenvp.com/installing-a-newer-gccg-on-ubuntu-12-04-lts/ --
Replace 4.7 with 4.8 ).

While browsing the KLEE issues on GitHub today, I just saw that
antiAgainst has also published KLEE setup scripts a few months ago (
https://github.com/klee/klee/issues/123 ). I decided to post mine
nonetheless... having more is better.

Best regards,
Emil

[Cristian Cadar]

Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
would be to modify that webpage directly. The website lives in the
gh-pages branch in the repository.

Thanks,
Cristian

Post by Emil Rakadjiev
Hi everyone,
I've attached 2 simple KLEE setup scripts, one for LLVM 2.9 and another
for 3.4. They include all necessary patches, etc. I hope they will be
useful for other KLEE users, too. Especially with LLVM 3.4 it takes some
time to figure out how to build everything successfully (the
"Experimental" guide on the website seems to be outdated).
They work on 64-bit Ubuntu 14.04.
On 12.04, cmake 2.8.8 or higher has to be installed, I used 2.8.12.2 (
http://cameo54321.blogspot.com/2014/02/installing-cmake-288-or-higher-on.html
). Furthermore, for LLVM 3.4, besides the newer cmake, also GCC 4.8 or
http://mortenvp.com/installing-a-newer-gccg-on-ubuntu-12-04-lts/ --
Replace 4.7 with 4.8 ).
While browsing the KLEE issues on GitHub today, I just saw that
antiAgainst has also published KLEE setup scripts a few months ago (
https://github.com/klee/klee/issues/123 ). I decided to post mine
nonetheless... having more is better.
Best regards,
Emil
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[Daniel Liew]

Post by Cristian Cadar
Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
would be to modify that webpage directly. The website lives in the
gh-pages branch in the repository.

Petr Hosek's new version of the KLEE website just went live
(http://klee.github.io) so it would be better to update
https://github.com/klee/klee.github.io

[Oscar Soria Dustmann]

Uh, nice work, Petr!

Who came up with the new logo? :)

Btw. if you like to, you can refer people who don't want to set up KLEE
themselves to the docker images I created a month ago:
https://registry.hub.docker.com/u/oscarsd/klee-dev/
https://registry.hub.docker.com/u/oscarsd/klee-release/
They have the entire environment, not just the compiled
binaries/libraries (and differ in configuration options).

But again, great job with the new site :)

Post by Daniel Liew

Post by Cristian Cadar
Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
would be to modify that webpage directly. The website lives in the
gh-pages branch in the repository.

Petr Hosek's new version of the KLEE website just went live
(http://klee.github.io) so it would be better to update
https://github.com/klee/klee.github.io
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[Emil Rakadjiev]

The new website looks cool! Great work, Petr!

I added a page with LLVM 3.4-based install instructions and did a few
other minor modifications. I created a pull request on GitHub.

Best regards,
Emil

Post by Oscar Soria Dustmann
Uh, nice work, Petr!
Who came up with the new logo? :)
Btw. if you like to, you can refer people who don't want to set up KLEE
https://registry.hub.docker.com/u/oscarsd/klee-dev/
https://registry.hub.docker.com/u/oscarsd/klee-release/
They have the entire environment, not just the compiled
binaries/libraries (and differ in configuration options).
But again, great job with the new site :)

Post by Daniel Liew

Post by Cristian Cadar
Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
would be to modify that webpage directly. The website lives in the
gh-pages branch in the repository.

Petr Hosek's new version of the KLEE website just went live
(http://klee.github.io) so it would be better to update
https://github.com/klee/klee.github.io
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
.