- 博客(1)
- 收藏
- 关注
原创 在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
1200
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人