Klee 入门
安装依赖 for ubuntu 1 sudo apt-get install build-essential curl libcap-dev git cmake libncurses5-dev python-minimal python-pip unzip libtcmalloc-minimal4 libgoogle-perftools-dev libsqlite3-dev doxygen for ubuntu >= 18.04 1 sudo apt-get install python3 python3-pip gcc-multilib g++-multilib 查看ubuntu版本 1 cat /etc/lsb-release 安装lit以启用测试，tabulate支持klee-stats和wllvm中的其他功能，以便更容易将程序编译到LLVM位码 1 pip3 install lit tabulate wllvm 安装 llvm9 1 sudo apt-get install clang-9 llvm-9 llvm-9-dev llvm-9-tools 安装约束求解器 任选其一 STP(recommend) Z3 metaSTM...