升级到了VMware Workstation 9
发现之前VMware Workstation 7做的几个Virtual Machine打不开了，提示
This virtual machine's policies are too old to be run by this version of VMware. Contact your system administrator
policy.vm.mvmtid = "52 d6 6f f9 f3 36 0f 9f-31 da 9f f5 90 7b ce 76"
policy.vm.managedVMTemplate = "TRUE"
policy.vm.managedVM = "FALSE"
Update Oct 2014:
The original installation log was written in June 2013. At that time Klee project was hosted on http://klee.llvm.org, and their installation instruction was quite confused. Now they move the project to http://klee.github.io/.
It looks like that they have completely re-written the installation instructions on the new website, the procedure is very similar to the one I logged below, you can also refer to their official tutorial.
I was trying to set up KLEE on Ubuntu 13.04 x64 server edition based on official KLEE guide: http://klee.llvm.org/GetStarted.html.
llvm-gcc and llvm 2.9 are necessary to KLEE. Initially I tried to compile llvm-gcc from source code on my server, but it failed for some reason. I didn’t have time digging into it (error message is very similar to another user’s post at http://s1151.socode.info/question/508146694f1eba38a44c48e6) So I just use a binary version of llvm-gcc during my installation.
Notice I also use a text editor to edit one of the .cpp files (see comment in the code below) to avoid an error while compiling. I use ‘make -j ‘ to compile faster (if errors occur, please only use ‘make’).
#XL @ 2013.6.29
$ sudo apt-get install build-essential
$ sudo apt-get install g++ curl dejagnu subversion bison flex
#download llvm-gcc, I put it in home folder
$ cd ~
$ sudo curl -O http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
$ tar xjvf llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
$ echo "export PATH=$PATH:~/llvm-gcc4.2-2.9-x86_64-linux/bin" >> ~/.bashrc
$ echo "export PATH=$PATH:~/klee/Release+Asserts/bin" >> ~/.bashrc
$ echo "export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu" >> ~/.bashrc
$ source ~/.bashrc
#download and install llvm
$ sudo curl -O http://llvm.org/releases/2.9/llvm-2.9.tgz
$ tar zxvf llvm-2.9.tgz
$ cd llvm-2.9
$ ./configure --enable-optimized --enable-assertions
$ vi ~/llvm-2.9/lib/ExecutionEngine/JIT/Intercept.cpp
# Use vi (or other text editor) to add this line
# at the beginning of this cpp file: #include “unistd.h”
# Otherwise the compiling process may fail
$ make -j $(grep -c processor /proc/cpuinfo)
$ cd ..
$ svn co -r 940 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
$ cd stp
$ ./scripts/configure --with-prefix=/home/$(whoami)/stp_install --with-cryptominisat2
$ make -j $(grep -c processor /proc/cpuinfo) OPTIMIZE=-O2 CFLAGS_M32= install
$ cd ..
$ svn co http://llvm.org/svn/llvm-project/klee/trunk klee
$ cd klee
$ ./configure --with-llvm=/home/$(whoami)/llvm-2.9 --with-stp=/home/$(whoami)/stp_install
$ make -j $(grep -c processor /proc/cpuinfo) ENABLE_OPTIMIZED=1
$ make unittests
Continue reading Install KLEE on Ubuntu Server 13.04 x64 system (with LLVM)
Can’t figure out why, until I realized that I was among the first to upgrade to Windows 7 SP1 when it came out, and Windows 7 SP1 has issues with X58 intially, to cause this problem.
Another thread discussing this problem: