S2E安装

最新推荐文章于 2024-06-17 18:29:55 发布
最新推荐文章于 2024-06-17 18:29:55 发布
阅读量1.7k 收藏 1
点赞数
分类专栏： 程序分析框架 Linux 文章标签： ubuntu 程序分析框架 S2E
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：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元/天 解锁文章
qldxsun
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
ubuntu12.04-64位系统上安装s2e过程
u012905667的专栏
09-25 1433
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安装 排坑
^_^
10-26 428
记录于 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 . 出现下面的界面就大概率成功了。 最后输
fatal error: bits/c++config.h: 没有那个文件或目录
最新发布
FRcheng的专栏
06-17 898
/usr/include/c++/8/cstdlib:41:10: fatal error: bits/c++config.h: 没有那个文件或目录 #include
ubuntu安装S2E
O_oTXC Lab
10-22 1055
S2E即选择性符号执行，在官方网站即可下载。 下载后解压，在解压出来的目录里有个docs子目录，用浏览器打开其中的index.html文件，就有非常详细的文档。 中途checkout s2e那步稍微有点慢。 之后编译的时候因为要从网上下不少东西，而且编译挺麻烦，所以也非常慢，可以干点别的事情。 编译的时候我遇到一个错误，提示找不到SDL.h，我上网查找后，有人说要安装libsdl-gfx1
S2E安装qemu VM
qldxsun的博客
02-13 535
本人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。该模块是一款高效性能的嵌入式...
Android的全系统符号执行平台Android_S2E.pdf
12-16
《Android的全系统符号执行平台Android_S2E》 Android_S2E是一个专门针对Android系统的全系统符号执行平台，它基于QEMU（一款强大的系统级模拟器）和KLEE（一个著名的符号执行工具）。该平台旨在提升Android系统及...
选择性符号执行S2E.zip
07-16
S2E的全文是：Selective Symbolic Execution，即选择性符号执行。符号执行的过程可以理解为：以符号值代替程序的具体值输入，并且以符号操作代替程序执行过程中相应的具体操作。根据其分析范围，符号执行可分为：过程内分析和过程间分析。过程内分析只分析单个过程的代码；而过程间分析则分析整个软件代码的上下文敏感信息，包括：当前函数的入口点、函数之间的调用信息以及环境信息等等。选择性符号执行是在符号执行的基础上添加约束条件，对测试人员感兴趣的执行路径进行选择，目的是降低分析的开销，提高分析的效率。
docs：S2E符号执行平台的文档和快速入门指南
03-02
docs：S2E符号执行平台的文档和快速入门指南
符号执行工具S2E2.0的安装
qujianyunyl的博客
05-13 2203
最简易的方式就是通过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的详细配置以及安装过程说明
流浪天空
06-24 7679
官方网站：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 1867
Ⅰ、S2e符号执行概述 Ⅱ、前言 对于S2E做符号执行，当前只是了解一些表面的功能，因此本文只是大致记录本人对于s2e和符号执行的一点粗浅认识仅供初学者参考。如果谬误之处，还希望大家指正，谢谢。 一、S2E和符号执行 首先简单描述一下什么是符号执行。我们平常执行程序的时候，使用的都是具体值来执行程序，得到输出。这种执行方式称为实际（具体）执行（concolic execution）。在使用不同的具体值执行程序时，程序可能走不同的路径，执行的行为就可能存在差异。那么怎么才能知道程序可能存在哪些执行路径，进而去
S2E的安装 ubuntu12.04 64bit
lfdanding的专栏
04-26 1237
首先参考官网 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 库
gitblog_00057的博客
05-24 326
推荐文章：探索符号执行的奥秘 —— S2E 库 项目地址:https://gitcode.com/S2E/s2e 1、项目介绍 S2E 是一个强大的动态二进制分析框架，其核心组件 libs2e.so 是一个预加载库，设计用于在 QEMU 虚拟环境中启用符号执行功能。这个开源项目为软件安全研究人员和开发者提供了一种全新的方式来深入理解程序行为，检测潜在的安全漏洞，并进行动态分析。 2、项目技术分析 ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值