在Ubuntu上安装配置klee和llvm, 使用klee测试GNU Coreutils(结合官网指南)
目录相关环境参数配置步骤一、使用llvm 6.0 构建klee二、 使用Klee来test GNU Coreutils三、 常见问题在完成学习任务的过程中正好需要安装与配置klee和llvm,并且使用klee来测试GNU Coreutils。以下主要来自老师的安装指南,加上少量同学的讨论成果。经过10多次的失败,终于安装并运行成功,无法保证有些网站和下载包可能会因为墙的原因无法访问或下载。相关...
原创
2020-04-22 05:50:36 ·
1258 阅读 ·
0 评论