On Sat, Sep 12, 2009 at 11:54 AM, Gregory Malecha <gmalecha at eecs.harvard.edu> wrote: > 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.
Hi Gregory, It does look like some problems have crept in since I last tested KLEE on x86_64; I've been meaning to fix these but just haven't got to it yet, I should take care of them sometime this week though. - Daniel > 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 > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
