Daniel Liew
2014-01-07 23:05:57 UTC
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!
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!