ubuntu安装S2E
来源:互联网 发布:ws19发动机数据 编辑:程序博客网 时间:2024/06/06 09:18
S2E即选择性符号执行,在官方网站即可下载。
下载后解压,在解压出来的目录里有个docs子目录,用浏览器打开其中的index.html文件,就有非常详细的文档。
中途checkout s2e那步稍微有点慢。
之后编译的时候因为要从网上下不少东西,而且编译挺麻烦,所以也非常慢,可以干点别的事情。
编译的时候我遇到一个错误,提示找不到SDL.h,我上网查找后,有人说要安装libsdl-gfx1.2-dev和libsdl1.2-dev,装了之后还是不行,然后发现SDL.h在我的电脑中是存在的,但不在头文件路径内,因此我们可以修改头文件的包含路径,但是我比较懒,所以直接改了源码中的#include<SDL.h>改为#include<SDL/SDL.h>重新编译就通过了。
后面有需要拷贝文件的,qemu的网络配置非常神奇,搞不定。用默认的选项启动后,在虚拟机内可以通过10.0.2.2的IP地址访问主机。
- ubuntu安装S2E
- S2E安装
- S2E安装qemu VM
- 符号执行平台S2E的安装
- S2E的安装 ubuntu12.04 64bit
- 在32位笔记本上安装S2E---未完
- ubuntu12.04-64位系统上安装s2e过程
- 关于符号化执行平台s2e的详细配置以及安装过程说明
- 装S2E遇到问题
- s2e符号执行的切换-1
- ubuntu安装
- Ubuntu安装
- ubuntu安装
- 安装ubuntu
- 安装Ubuntu
- 安装Ubuntu
- ubuntu 安装
- 安装Ubuntu
- 中国IT排名百强公司
- 计算机视觉领域_牛人博客
- TypedArray和obtainStyledAttributes使用
- linux 用户空间 和 内核空间 延时函数
- 一句话经典
- ubuntu安装S2E
- 爱情、最终熬成了我一个人的落寂:伤感QQ日志
- 遇到BAM报错“input is not proper UTF-8”的一个可能解决方案
- ZTE MF91|MF91 unlocked LTE hotspot | MF91 4G mobile wifi
- WebScarab关键源码分析(4)
- 利用ViewFlipper实现View间的动画效果(平移/渐变...)
- tomcat部署web应用的三种方式
- Makefile详解【转】
- HDU 1853 最小费用最大流