KLEE 安装经验_codestorm_新浪博客

本文详细记录了在配置LLVM3.4与KLEE环境时遇到的问题,包括g++与gcc版本依赖问题、使用llvm-gcc时遇到的内部编译错误、尝试使用不同版本后的失败经历,最终通过Docker成功解决问题的过程。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

由于试验需要,准备配置环境包括KLEE和Z3,KLEE网给出三种安装方式
1. dockcer image(fastest)
2. LLVM 3.4 (recommended)
3. LLVM 2.9 
看了下感觉docker安装要的步骤和磁盘空间比较大就首先选择了LLVM3.4, 其实这是个坑…… 


1 首先遇到g++安装的与gcc版本依赖问题,更新了源修复了
2.要使用llvm-gcc,在安装了llvm后并没有,单独安装4.8版本。随后编译程序出现诡异的internal compile error,gcc可以通过llvmgcc不行。遇到条件语句就不行,google未找到原因。(也许应该试用clang代替llvm-gcc-4.8,klee官网说llvm3.4 要用clang…… 然而tutorial页并没有说明 T_T)
3. 换用llvm2.9版本,klee未能成功build
4. 最终用docker安装成功


1.llvm是个编译器框架,可以灵活替换前端后端,llvm-gcc可生成llvm的bitcodde,但默认以gcc方式编译c
2. docker轻量级虚拟机,空间不大,安装方便。images维护的不错,klee的官方image可以下载。docker实现的并不是完全硬件到系统的虚拟,而只有运行环境的独立性(linux namespace),可以
docker build
docker run 
docker ps
docker start/rm/status
!!!!加sudo 有时需要
启动image后文件系统独立,可安装独立appilication
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值