Discussion:
Ask you about compile klee-uclibc
(too old to reply)
Dinh Ngoc Thi
2014-10-01 14:14:06 UTC
Permalink
Dear all,


When I compile *klee-uclibc *which is guided in this site
http://klee.github.io/klee/GetStarted.html

I always met this error:
--------------------------------------------------
INFO:Testing LLVM Bitcode
compiler.../cygdrive/e/SymbolicExecution/tool/llvm-gcc/bin/llvm-gcc
INFO:Compiler failed with output:
llvm-gcc.exe: /tmp/tmpmEA0eB.c: No such file or directory
llvm-gcc.exe: no input files
--------------------------------------------------

I am using Win7 32bits and Cygwin.

Anyone can help me?
Many thanks in advance.
Kuchta, Tomasz
2014-10-01 14:33:49 UTC
Permalink
Hello,
The officially supported operating system for KLEE is Linux, I’m afraid you will not be able to run it on Windows.
Best regards,

Tomek

From: Dinh Ngoc Thi <***@gmail.com<mailto:***@gmail.com>>
Date: Wednesday, 1 October 2014 15:14
To: klee-dev <klee-***@imperial.ac.uk<mailto:klee-***@imperial.ac.uk>>
Subject: [klee-dev] Ask you about compile klee-uclibc

Dear all,


When I compile klee-uclibc which is guided in this site
http://klee.github.io/klee/GetStarted.html

I always met this error:
--------------------------------------------------
INFO:Testing LLVM Bitcode compiler.../cygdrive/e/SymbolicExecution/tool/llvm-gcc/bin/llvm-gcc
INFO:Compiler failed with output:
llvm-gcc.exe: /tmp/tmpmEA0eB.c: No such file or directory
llvm-gcc.exe: no input files
--------------------------------------------------

I am using Win7 32bits and Cygwin.

Anyone can help me?
Many thanks in advance.

Loading...