Ubuntu14.04下KLEE的安装教程和使用KLEE分析GNC代码的教程
KLEE #需要一条条的执行,shell脚本中会出错sudo apt-get updatesudo apt-get upgrade#安装各种工具和库sudo apt-get install g++ curl python-minimal git bison flex bc libcap-dev build-essential libboost-all-dev ncurses-d
原创
2016-04-15 14:40:58 ·
3059 阅读 ·
2 评论