Stone的博客

KLEE  #需要一条条的执行，shell脚本中会出错 sudo apt-get update sudo apt-get upgrade #安装各种工具和库 sudo apt-get install g++ curl python-minimal git bison flex bc libcap-dev build-essential libboost-all-dev ncurses-d