Hello,
I'm trying to get KLEE running on my 64-bit machine but it doesn't seem to
work. A previous post suggests that KLEE was ported to x86-64, i'm wondering
if there is a patch or something that I need to get 64-bit working. The
output of make check is included below there are several warnings so it
might just be that i'm missing some tool.
llvm[0]: Running test suite
make[1]: Entering directory
`/home/gmalecha/work/cs261-f09/assignment-1/klee/test'
( ulimit -t 600 ; ulimit -d 512000 ;
\
PATH="/home/gmalecha/work/cs261-f09/assignment-1/klee/Release/bin:/home/gmalecha/work/cs261-f09/assignment-1/llvm/Release/bin:/home/gmalecha/work/cs261-f09/assignment-1/llvm/test/Scripts:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/x86_64-pc-linux-gnu/gcc-bin/4.3.2:/usr/qt/3/bin:/usr/games/bin"
\
/usr/bin/runtest ;
\
! grep FAIL testrun.log
)
WARNING: Couldn't find the global config
file.
WARNING: No tool
specified
Test Run By gmalecha on Sat Sep 12 14:51:34
2009
Native configuration is
x86_64-unknown-linux-gnu
=== tests ===
Schedule of variations:
unix
Running target unix
Using /usr/share/dejagnu/baseboards/unix.exp as board description file for
target.
Using /usr/share/dejagnu/config/unix.exp as generic interface file for
target.
WARNING: Couldn't find tool config file for unix, using
default.
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/CXX/dg.exp
...
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/CXX/StaticDestructor.cpp
Failed with exit(1) at line
3
while running: grep ":16: memory error"
StaticDestructor.cpp.tmp1.log
child process exited
abnormally
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Coverage/dg.exp
...
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Dogfood/dg.exp
...
Running
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Expr/Lexer/dg.exp ...
Running
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Expr/Parser/dg.exp
...
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Expr/dg.exp
...
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/dg.exp
...
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/InAndOutOfBounds.c
Failed with signal(SIGABRT) at line
2
while running: klee
InAndOutOfBounds.c.tmp1.bc
KLEE: output directory =
"klee-out-19"
klee:
/home/gmalecha/work/cs261-f09/assignment-1/klee/include/klee/Expr.h:370:
static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t,
unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid
constant"' failed.
0 klee
0x0000000000cdc37f
1 klee
0x0000000000cde071
2 libpthread.so.0
0x00002ae83969b9f0
3 libc.so.6 0x00002ae83a27c205 gsignal +
53
4 libc.so.6 0x00002ae83a27d723 abort +
387
5 libc.so.6 0x00002ae83a275229 __assert_fail +
233
6 klee 0x000000000058e921
klee::AddressSpace::resolve(klee::ExecutionState&, klee::TimingSolver*,
klee::ref<klee::Expr>, std::vector<std::pair<klee::MemoryObject const*,
klee::ObjectState const*>, std::allocator<std::pair<klee::MemoryObject
const*, klee::ObjectState const*> > >&, unsigned int, double) + 4113
7 klee 0x00000000005669f6
klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool,
klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) +
2438
8 klee 0x0000000000569fee
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 4718
9 klee 0x000000000056dc46
klee::Executor::run(klee::ExecutionState&) +
1910
10 klee 0x000000000056e7d5
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
2165
11 klee 0x000000000054b401 main +
3681
12 libc.so.6 0x00002ae83a2685c6 __libc_start_main +
230
13 klee 0x0000000000543b69 std::ios_base::Init::~Init() +
65
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/KleeReportError.c
Failed with signal(SIGSEGV) at line
2
while running: klee --emit-all-errors KleeReportError.c.tmp2.bc >
KleeReportError.c.tmp3.log
KLEE: output directory =
"klee-out-23"
KLEE: WARNING: undefined reference to function:
fwrite
KLEE: WARNING: undefined reference to variable:
stderr
KLEE: WARNING: calling external: fwrite(19195168, 1, 3,
3038849120)
KLEE: ERROR: failed external call:
fwrite
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MemoryLimit.c
Failed with signal(SIGABRT) at line
4
while running: klee --max-memory=20 MemoryLimit.c.tmp.big.bc >
MemoryLimit.c.tmp.big.log
KLEE: output directory =
"klee-out-31"
KLEE: WARNING: undefined reference to function:
puts
KLEE: WARNING: calling external:
puts(19169392)
klee:
/home/gmalecha/work/cs261-f09/assignment-1/klee/include/klee/Expr.h:370:
static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t,
unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid
constant"' failed.
0 klee
0x0000000000cdc37f
1 klee
0x0000000000cde071
2 libpthread.so.0
0x00002ac1f76129f0
3 libc.so.6 0x00002ac1f81f3205 gsignal +
53
4 libc.so.6 0x00002ac1f81f4723 abort +
387
5 libc.so.6 0x00002ac1f81ec229 __assert_fail +
233
6 klee 0x0000000000565359
klee::Executor::executeAlloc(klee::ExecutionState&, klee::ref<klee::Expr>,
bool, klee::KInstruction*, bool, klee::ObjectState const*) +
3545
7 klee 0x0000000000580f57
klee::SpecialFunctionHandler::handleMalloc(klee::ExecutionState&,
klee::KInstruction*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) +
71
8 klee 0x0000000000580393
klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*,
klee::KInstruction*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) + 195
9 klee 0x0000000000563d4d
klee::Executor::callExternalFunction(klee::ExecutionState&,
klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) + 77
10 klee 0x00000000005677fe
klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*,
llvm::Function*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) +
574
11 klee 0x000000000056b501
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 10113
12 klee 0x000000000056dc46
klee::Executor::run(klee::ExecutionState&) +
1910
13 klee 0x000000000056e7d5
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
2165
14 klee 0x000000000054b401 main +
3681
15 libc.so.6 0x00002ac1f81df5c6 __libc_start_main +
230
16 klee 0x0000000000543b69 std::ios_base::Init::~Init() +
65
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleReadResolution.c
Failed with signal(SIGABRT) at line
6
while running: klee MultipleReadResolution.c.tmp1.bc >
MultipleReadResolution.c.tmp1.log
KLEE: output directory =
"klee-out-33"
KLEE: WARNING: undefined reference to function:
fflush
KLEE: WARNING: undefined reference to function:
puts
KLEE: WARNING: undefined reference to variable:
stdout
klee:
/home/gmalecha/work/cs261-f09/assignment-1/klee/include/klee/Expr.h:370:
static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t,
unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid
constant"' failed.
0 klee
0x0000000000cdc37f
1 klee
0x0000000000cde071
2 libpthread.so.0
0x00002ace595559f0
3 libc.so.6 0x00002ace5a136205 gsignal +
53
4 libc.so.6 0x00002ace5a137723 abort +
387
5 libc.so.6 0x00002ace5a12f229 __assert_fail +
233
6 klee 0x000000000058e921
klee::AddressSpace::resolve(klee::ExecutionState&, klee::TimingSolver*,
klee::ref<klee::Expr>, std::vector<std::pair<klee::MemoryObject const*,
klee::ObjectState const*>, std::allocator<std::pair<klee::MemoryObject
const*, klee::ObjectState const*> > >&, unsigned int, double) + 4113
7 klee 0x00000000005669f6
klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool,
klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) +
2438
8 klee 0x000000000056a096
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 4886
9 klee 0x000000000056dc46
klee::Executor::run(klee::ExecutionState&) +
1910
10 klee 0x000000000056e7d5
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
2165
11 klee 0x000000000054b401 main +
3681
12 libc.so.6 0x00002ace5a1225c6 __libc_start_main +
230
13 klee 0x0000000000543b69 std::ios_base::Init::~Init() +
65
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleReallocResolution.c
Failed with signal(SIGABRT) at line
2
while running: klee
MultipleReallocResolution.c.tmp1.bc
KLEE: output directory =
"klee-out-34"
klee:
/home/gmalecha/work/cs261-f09/assignment-1/klee/include/klee/Expr.h:370:
static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t,
unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid
constant"' failed.
0 klee
0x0000000000cdc37f
1 klee
0x0000000000cde071
2 libpthread.so.0
0x00002b740a6a09f0
3 libc.so.6 0x00002b740b281205 gsignal +
53
4 libc.so.6 0x00002b740b282723 abort +
387
5 libc.so.6 0x00002b740b27a229 __assert_fail +
233
6 klee 0x000000000058e921
klee::AddressSpace::resolve(klee::ExecutionState&, klee::TimingSolver*,
klee::ref<klee::Expr>, std::vector<std::pair<klee::MemoryObject const*,
klee::ObjectState const*>, std::allocator<std::pair<klee::MemoryObject
const*, klee::ObjectState const*> > >&, unsigned int, double) + 4113
7 klee 0x000000000056831f
klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>,
std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState
const*>, klee::ExecutionState*>,
std::allocator<std::pair<std::pair<klee::MemoryObject const*,
klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&)
+ 143
8 klee 0x00000000005689a6
klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>,
klee::KInstruction*) + 390
9 klee 0x00000000005810c0
klee::SpecialFunctionHandler::handleRealloc(klee::ExecutionState&,
klee::KInstruction*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) +
272
10 klee 0x0000000000580393
klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*,
klee::KInstruction*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) + 195
11 klee 0x0000000000563d4d
klee::Executor::callExternalFunction(klee::ExecutionState&,
klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) + 77
12 klee 0x00000000005677fe
klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*,
llvm::Function*, std::vector<klee::ref<klee::Expr>,
std::allocator<klee::ref<klee::Expr> > >&) +
574
13 klee 0x000000000056b501
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 10113
14 klee 0x000000000056dc46
klee::Executor::run(klee::ExecutionState&) +
1910
15 klee 0x000000000056e7d5
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
2165
16 klee 0x000000000054b401 main +
3681
17 libc.so.6 0x00002b740b26d5c6 __libc_start_main +
230
18 klee 0x0000000000543b69 std::ios_base::Init::~Init() +
65
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleWriteResolution.c
Failed with signal(SIGABRT) at line
6
while running: klee MultipleWriteResolution.c.tmp1.bc >
MultipleWriteResolution.c.tmp1.log
KLEE: output directory =
"klee-out-35"
KLEE: WARNING: undefined reference to function:
fflush
KLEE: WARNING: undefined reference to function:
puts
KLEE: WARNING: undefined reference to variable:
stdout
klee:
/home/gmalecha/work/cs261-f09/assignment-1/klee/include/klee/Expr.h:370:
static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t,
unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid
constant"' failed.
0 klee 0x0000000000cdc37f
1 klee 0x0000000000cde071
2 libpthread.so.0 0x00002b6815c8c9f0
3 libc.so.6 0x00002b681686d205 gsignal + 53
4 libc.so.6 0x00002b681686e723 abort + 387
5 libc.so.6 0x00002b6816866229 __assert_fail + 233
6 klee 0x000000000058e921
klee::AddressSpace::resolve(klee::ExecutionState&, klee::TimingSolver*,
klee::ref<klee::Expr>, std::vector<std::pair<klee::MemoryObject const*,
klee::ObjectState const*>, std::allocator<std::pair<klee::MemoryObject
const*, klee::ObjectState const*> > >&, unsigned int, double) + 4113
7 klee 0x00000000005669f6
klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool,
klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2438
8 klee 0x0000000000569fee
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 4718
9 klee 0x000000000056dc46
klee::Executor::run(klee::ExecutionState&) + 1910
10 klee 0x000000000056e7d5
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
2165
11 klee 0x000000000054b401 main + 3681
12 libc.so.6 0x00002b68168595c6 __libc_start_main + 230
13 klee 0x0000000000543b69 std::ios_base::Init::~Init() + 65
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/WriteCov.c
Failed with exit(1) at line 3
while running: grep WriteCov.c:10 klee-last/test000002.cov
child process exited abnormally
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Programs/dg.exp
...
Running
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Runtime/POSIX/dg.exp
...
Running
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Runtime/Uclibc/dg.exp
...
Running /home/gmalecha/work/cs261-f09/assignment-1/klee/test/Solver/dg.exp
...
Running
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/regression/dg.exp ...
=== Summary ===
# of expected passes 75
# of unexpected failures 8
# of expected failures 2
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/CXX/StaticDestructor.cpp
XFAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Expr/Evaluate2.pc
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/InAndOutOfBounds.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/KleeReportError.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MemoryLimit.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleReadResolution.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleReallocResolution.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/MultipleWriteResolution.c
FAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Feature/WriteCov.c
XFAIL:
/home/gmalecha/work/cs261-f09/assignment-1/klee/test/Programs/pcregrep.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory
`/home/gmalecha/work/cs261-f09/assignment-1/klee/test'
make: *** [check] Error 2
Thank you very much for any suggestions.
--
gregory malecha
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090912/b3097ffc/attachment-0001.html
