S2E安装

最新推荐文章于 2024-05-24 09:46:43 发布

qldxsun

最新推荐文章于 2024-05-24 09:46:43 发布

阅读量1.8k

点赞数

分类专栏：程序分析框架 Linux 文章标签： ubuntu 程序分析框架 S2E

本文链接：https://blog.csdn.net/qldxsun/article/details/55007456

版权

本文档记录了在Ubuntu 16.04和12.04上安装S2E程序分析框架的过程及遇到的问题。从下载Ubuntu镜像开始，描述了构建QEMU编译环境时未勾选source code导致的错误，以及在不同Ubuntu版本中编译S2E时遇到的头文件缺失问题。解决方案包括安装g++-multilib以支持32位库，并强调错误提示的重要性。

摘要由CSDN通过智能技术生成

S2E安装

S2E是什么就不科普了，GitHub一搜就知道了。想着装一个瞅瞅人家怎么弄的，然而过程比较曲折。由于已经装好才想起来写，就在这里记录安装过程中出现的问题及解决办法。

1、手边没有Ubuntu的镜像，遂官网下载Ubuntu，版本16.04，64bit。网传32bit会出问题。
2、安装过程中首先出现了无法构建QEMU编译环境的问题，每次apt-get build-dep都会报错，发现是Ubuntu软件源没有勾选source code，而且安装过程中更换软件源后没有apt-get upgrade将已安装软件与源中的软件保持一致（详见另一个帖子）。
3、之后make报错，说找不到……./bits/目录中的一个头文件找不到，build目录下qemu的目录都没有生成，编译失败。各种尝试无果。报错：

/usr/lib/gcc/x86_64-linux-gnu/5.4.0/../../../../include/c++/5.4.0/cstddef:43:10: fatal error: 
      'bits/c++config.h'

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

qldxsun

关注关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

符号执行工具S2E2.0的安装

qujianyunyl的博客

05-13

2205

最简易的方式就是通过S2E自带的管理工具s2e-env安装。基本步骤及注意事项如下：安装s2e-env工具 $: git clone https://github.com/S2E/s2e-env.git $: cd s2e-env $: pip install . # Note: if you use pip earlier than version 19, you must add...

S2E安装排坑

^_^

10-26

430

记录于 2021 .10. 26 按照官网教程在ubuntu 20.04：http://s2e.systems/docs/s2e-env.html#installing-s2e-env 安装时，执行命令pip install .遇到如下错误：提示说找不到pyelftools。于是将s2e-env/setup.py的60行删除。然后自己安装pyelftools pip install pyelftools 然后再输入官网的命令 pip install . 出现下面的界面就大概率成功了。最后输

参与评论您还未登录，请先登录后发表或查看评论

ubuntu安装S2E

O_oTXC Lab

10-22

1057

S2E即选择性符号执行，在官方网站即可下载。下载后解压，在解压出来的目录里有个docs子目录，用浏览器打开其中的index.html文件，就有非常详细的文档。中途checkout s2e那步稍微有点慢。之后编译的时候因为要从网上下不少东西，而且编译挺麻烦，所以也非常慢，可以干点别的事情。编译的时候我遇到一个错误，提示找不到SDL.h，我上网查找后，有人说要安装libsdl-gfx1

S2E安装qemu VM

qldxsun的博客

02-13

537

本人inux小白，下面说点傻瓜问题。。。现象： qemu-release编译完成后并没有出现我熟悉的可执行文件图标（菱形的那种），像qemu-img等几个可执行文件都是shared library。此时官网用法为：S2EDIR/build/qemu−release/qemu−imgcreate−fraws2edisk.raw2G，然而当时的我并不知道绝对路径时运行可执行文件是不要写./的，当然

符号执行平台S2E的安装

wxywang89的专栏

11-22

3446

本次编译安装使用的操作系统是64位Ubuntu12.04。（注意：S2E只能在64位机上运行）首先在S2E的官网（https://s2e.epfl.ch/projects/s2e）上下载S2E的源代码，本次编译安装使用的是s2e-source-1.2-27.04.2012.tar.bz2。将文件解压，得到s2e-public文件夹。在s2e-public/docs目录下找到BuildingS2

s2e：S2E：具有选择性符号执行的多路径程序分析平台

02-06

S2E库该存储库包含构建libs2e.so所有必需组件。此共享库已预加载到QEMU中，以启用符号执行。请参考docs目录中的docs以获取构建和使用说明。您也可以在在线找到它。

W5500S2E-S1用户手册 Ver 1.0

07-14

### W5500S2E-S1 串口转以太网模块用户手册知识点解析 #### 一、概述 **W5500S2E-S1** 是一款专为工业应用设计的串口转以太网模块，旨在简化传统串口设备接入互联网的过程。该模块基于 **W5500** 全硬件 TCP/IP ...

串口转以太网模块LSD1ES-W5500_S2E0

08-07

"串口转以太网模块LSD1ES-W5500_S2E0知识点大全" 串口转以太网模块LSD1ES-W5500_S2E0概述串口转以太网模块LSD1ES-W5500_S2E0是利尔达近期推出的工控解决方案，基于WIZnet-W5500。该模块是一款高效性能的嵌入式...

ubuntu12.04-64位系统上安装s2e过程

u012905667的专栏

09-25

1440

S2E工具适用平台： host OS： 64位ubuntu12.04或者64位Mac OS guest OS：To run S2E, you need a QEMU-compatible virtual machine disk image. S2E can run any x86 operating system inside the VM.任何X86的OS都可以。

选择性符号执行S2E.zip

07-16

S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分析整个软件代码的上下文敏感信息，包括：当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件，对测试人员感兴趣的执行路径进行选择，目的是降低分析的开销，提高分析的效率。

docs：S2E符号执行平台的文档和快速入门指南

03-02

docs：S2E符号执行平台的文档和快速入门指南

关于符号化执行平台s2e的详细配置以及安装过程说明

流浪天空

06-24

7684

官方网站：http://s2e.epfl.ch/ 官方在线文档地址：https://dslabredmine.epfl.ch/embedded/s2e/index.html Git项目地址：https://github.com/DonDiego/s2e GoogleGroups讨论组s2e地址：https://groups.google.com/forum/?hl=zh-CN#!forum/

S2e-env环境及编译学习1

luke_lx的博客

01-22

1872

Ⅰ、S2e符号执行概述 Ⅱ、前言对于S2E做符号执行，当前只是了解一些表面的功能，因此本文只是大致记录本人对于s2e和符号执行的一点粗浅认识仅供初学者参考。如果谬误之处，还希望大家指正，谢谢。一、S2E和符号执行首先简单描述一下什么是符号执行。我们平常执行程序的时候，使用的都是具体值来执行程序，得到输出。这种执行方式称为实际（具体）执行（concolic execution）。在使用不同的具体值执行程序时，程序可能走不同的路径，执行的行为就可能存在差异。那么怎么才能知道程序可能存在哪些执行路径，进而去

S2E的安装 ubuntu12.04 64bit

lfdanding的专栏

04-26

1238

首先参考官网 http://s2e.epfl.ch/ 然后主要参考了这篇博客 http://blog.csdn.net/jayxujia123/article/details/34126151 还参考了这篇博客 http://blog.csdn.net/u012905667/article/details/39558899 1、Required Packages sudo apt-get

s2e符号执行的切换-1

valiant1ster的专栏

11-24

3022

当符号化结束之后，在正常的二进制翻译执行的过程中，交替的进行具体执行和符号执行。如果检测到有符号化的值，便使用klee进行符号执行。具体过程可描述如下： executeTranslationBlock函数完成符号执行还是具体执行的判断。符号执行可能的情况： 1、 state->m_startSymbexAtPC 被设置；这个主要是内存访问时被设置。 2、 state-

推荐文章：探索符号执行的奥秘 —— S2E 库