Re: [klee-dev] Klee-uclibc.bca Error when Running Coreutils

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

[klee-dev] I am so sorry for my mistake made in my previous post titled as " Excuse me??i maybe find an error which is in the implementation of KLEE"

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

[klee-dev] Excuse me??i maybe find an error which is in the implementation of KLEE

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: