使用KLEE Docker image进行程序分析
来源:互联网 发布:华三交换机ip和mac绑定 编辑:程序博客网 时间:2024/05/16 17:40
使用KLEE Docker image进行程序分析
在Ubuntu上编译llvm和KLEE会遇到各种编译器版本不兼容的问题(如系统自带的gcc和llvm-gcc版本不一样),而直接使用KLEE在Docker上发布的image则可以省去一些麻烦,但因为其image过于原生态,导致Linux系统下的很多命令和工具都需要重新安装。另外,主机中的测试集也需要挂在到containter中方能进行测试。这一步步操作起来也略显麻烦,折腾了大半天才跑通。以下是待整理的笔记。
在docker klee镜像内部klee用户的很多操作需要sudo权限,密码为klee,在里面可以直接使用apt-get install安装其他应用
- 创建临时容器
$ docker run –rm -ti –ulimit=’stack=-1:-1’ klee/klee
$ docker run –rm -ti -v /home/dragonegg/klee:/home/klee –ulimit=’stack=-1:-1’ klee/klee
创建持久容器
$ docker run -ti –name=test_volume_container –ulimit=’stack=-1:-1’ klee/klee退出容器
$ exit查看当前docker中正在运行的容器
$ docker ps查看当前docker中已有的容器(包括正在运行和停止运行的容器)
$ docker ps -a重启容器
$ docker start -ai test_volume_container删除容器
$ docker rm test_volume_container挂载主机目录到容器上
$ docker run -ti -v /home/dragonegg/klee:/home/test –name=test_volume_container –ulimit=’stack=-1:-1’ klee/klee查看某个容器中的挂载等信息
$ docker inspect test_volume_container在容器上删除所挂在的主机目录
在容器中编译程序
clang−emit−llvm−g−ctest.c−otest.bc clang -emit-llvm -g -c sort.c -o sort.bc符号执行分析
$ klee –libc=uclibc –posix-runtime sort.bc
- 使用KLEE Docker image进行程序分析
- Ubuntu14.04下KLEE的安装教程和使用KLEE分析GNC代码的教程
- Docker--image分析
- KLEE软件分析
- 使用VS2015进行程序性能分析
- [docker 1.13 源码分析]第三章 docker pull image
- docker-image
- docker image
- 使用Gnu gprof进行Linux平台下的程序分析
- 使用Gnu gprof进行Linux平台下的程序分析
- 使用Gnu gprof进行Linux平台下的程序分析
- 使用Gnu gprof进行Linux平台下的程序分析
- 使用Gnu gprof进行Linux平台下的程序分析
- 使用Gnu gprof进行Linux平台下的程序分析
- PAPI:使用PAPI对程序进行性能分析(1)
- 使用Gnu gprof进行Linux平台下的程序分析
- (一)使用llvm进行程序分析-cfg
- (二)使用llvm进行程序分析-hotspot、path
- [django]django 部署,gunicorn、virtualenv、nginx
- leetcode 60. Permutation Sequence
- spring 配置文件详解-个人学习笔记
- HDU 3639Hawk-and-Chicken 强连通分量分解 + dfs
- 算法竞赛入门第二章2-2
- 使用KLEE Docker image进行程序分析
- java并发之ConcurrentHashMap
- 01背包 2016.5.1
- myapps快速开发平台常用知识点
- serlet和JSP之间值传递,一些基础的java,
- 正整数的打印
- 给定入栈顺序,输出所有可能出栈情况及所有情况的总数
- 数据科学家的能力需求
- MyEclipse2014 如何破解