[klee-dev] [Announcement] New version of klee-uclibc

[Daniel Liew]

Hi,

We have released a new version klee-uclibc. These changes were long
overdue. Thanks a lot to Martin Nowack for getting things started and
contributing some important fixes.

===Key changes===

* klee-uclibc is now under version control (git)
* klee-uclibc is based on the 0_9_29 branch as opposed to tag version
which means a few upstream bug fixes are present
* Building under newer linux kernels is now supported
* The configure script has been rewritten from scratch and is vastly
superior to the old script
* Building with clang instead of llvm-gcc is supported
* Changes made to uclibc are now individual commits which makes
understanding the changes a lot easier.

===Building===

The code is on GitHub in the klee_0_9_29 branch. To get the source code run

$ git clone --depth 1 --branch klee_0_9_29
https://github.com/klee/klee-uclibc.git

Remove the --depth 1 if you want the full history.

To build run

$ ./configure --make-llvm-lib
$ make

===Bugs/Issues===

Please report any bugs or issues on the klee-uclibc issue tracker
https://github.com/klee/klee-uclibc/issues

There is also wiki to at https://github.com/klee/klee-uclibc/wiki

The getting started instructions on the KLEE website have been updated
so that new users use the new version of klee-uclibc.

Enjoy!