On 7 May 2017 at 06:27, Zhiyi Zhang wrote:
> Hi,
>
>
> I have installed klee on Ubuntu(version, 14.04 64 bit) with LLVM-3.4,and I
> successfully run the tutorial 1 & 2. However, I met a problem when I run
> Coreutils 6.11. I used the same options which are showed on
Hi, all, Just a few hours ago, i send a post titled as " Excuse me??i
maybe find an error which is in the implementation of KLEE".
i know what is the mistake i made. That is, valgrind cannot check memory
error about allocated array which is statically allocated in stack like the
form
Hi, all,
I have followed the tutorial below which is used to test the function
"match" , but i found that the generated tests cannot cause memory errors.
Second tutorial: Testing a simple regular expression library.
(the website is: