Hi BNM,
KLEE may report overshift error upon encountering Shl, AShr or LShr of LLVM.It
is reported when KLEE determines that the shift amount is greater than the
bitwidth of the data beingshifted. I happen to have a copy of SPEC CPU 2006. At
Line 108 of classic.c there is a loop whose entrycondi
--disable-nls is specific to Coreutils. You may not need to worry about it.
Since you have a Makefile, perhaps you could try the following to build your
benchmark:
LLVM_COMPILER=clang CC=wllvm CXX=wllvm++ make
After the above produced a binary, say prog, please do the following:
extract-bc prog
On 22 July 2017 at 16:49, Andrew Santosa wrote:
> Hi BNM,
>
> KLEE may report overshift error upon encountering Shl, AShr or LShr of LLVM.
> It is reported when KLEE determines that the shift amount is greater than
> the bitwidth of the data being
> shifted.
Slight correction.
KLEE will report a
Thank you Andrew and Dan for your response. I have tried to measure the
coverage with the generated test cases and it is very low. The test cases are
generated based on choosing N and X variables ( main inputs of the libquntukm
program) to be symbolic inside the code with using klee_make_symbol
