On Tue, Apr 07, 2015 at 09:13:52PM -0400, Anitha B Gollamudi wrote:
> Hi,
>
> When I try a simple program like the below, Klee gives me the error
> "memory: invalid pointer make_symbolic".
>
> The snippet is part of a larger testcase where I don't know the amount
> of memory that I will
> allocat
Hi,
When I try a simple program like the below, Klee gives me the error
"memory: invalid pointer make_symbolic".
The snippet is part of a larger testcase where I don't know the amount
of memory that I will
allocate to 'c'. trying to test values of "c". Why is Klee unhappy?
How to fix without usi
Hi,
I believe that the file with ".path" can be used for using the KLEE
replay feature.
In particular, "0" and "1" in each line, captures the outcome of
branches ("false" leg and "true" leg)
for a particular execution. Note that each line is one instance for a
branch instruction, duri
Hi Klee-dev,
This question has been asked before, but no concrete answer. The file is a made
up of about 395 0s and 1s, each on a separate line. This is generated for
get_sign.o which is a very short example and doesn't have that many paths. What
do the 1s and 0s mean?
Thank you!
Zehra