Discussion:
KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4)
(too old to reply)
Emil Rakadjiev
2014-10-10 10:09:07 UTC
Permalink
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
2014-10-15 14:54:01 UTC
Permalink
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
2014-10-15 14:58:41 UTC
Permalink
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
2014-10-15 15:09:40 UTC
Permalink
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
2014-10-17 06:54:10 UTC
Permalink
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
.
Loading...