符号执行工具KLEE安装

最新推荐文章于 2022-05-30 23:49:17 发布
最新推荐文章于 2022-05-30 23:49:17 发布
阅读量1.8k 收藏 4
点赞数
分类专栏： KLEE 文章标签： KLEE llvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xjtu_czh/article/details/51873421
版权

系统环境

  • VMware workstations 10.0
  • Ubuntu-14.04-desktop-amd64
  • RAM：4GB
  • ROM：50GB
  • CPU：Intel-i7-4core

1. 安装步骤

按照官方安装文档Build KLEE with LLVM3.4来就行

2. 注意事项

2.1 .bashrc文件在~/.bashrc直接gedit ~/.bashrc便可编辑
2.2 第4部Build uclibc and the POSIX environment model还是选择装上吧，做点实际的测试还是用得上的，能够用到KLEE应该也不是小项目了~

3. 做点小实验测试一下

官方提供的3个小实验:
- Testing a small function
- Testing a Simple Regular Expression Library
- Solving a maze with KLEE
都可以做一下，按实验步骤，不会出现什么问题的（出问题来打我吧）

zehuac
关注
专栏目录
ubuntu安装klee教程
goto2091的博客
01-22 1814
ubuntu16.04安装klee(基于llvm 3.8)教程 前言 查阅了很多资料，踩了不少的坑，总的来说，这个应该是比较完善的基于llvm3.8和ubuntu16.04的安装教程，至少我自己按照这个没有问题，而且可能遇到的坑也写在了这里。如果你有什么疑问，欢迎评论。 进入klee官网 http://klee.github.io/ 选择Documentation 的BuildingKLEE(L...
符号执行工具S2E2.0的安装
qujianyunyl的博客
05-13 2221
最简易的方式就是通过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...
klee, KLEE符号执行引擎.zip
09-18
klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个符号虚拟机。 目前，主要有两个组件：核心符号虚拟机引擎；负责执行带有符号值支持的LLVM位码模块。 这由 lib/中的代码组成。面向支持of的posix/li
klee:KLEE符号执行引擎
04-28
KLEE符号虚拟机 KLEE是建立在LLVM编译器基础结构之上的符号虚拟机。 当前，有两个主要组件： 核心符号虚拟机引擎； 这负责执行支持符号值的LLVM位代码模块。 这由lib /中的代码组成。 面向支持uClibc的POSIX / Linux仿真层，另外还提供了使部分操作系统环境具有符号性的支持。 另外，有一个简单的库可用于重放本机代码上的计算输入（适用于封闭程序）。 还有一个更复杂的基础结构，用于重放为POSIX / Linux仿真层生成的输入，该层处理与计算的测试输入匹配的环境中正在运行的本机程序，包括设置文件，管道，环境变量和传递命令行参数。 有关更多信息，请参见。
ubuntu安装符号执行引擎KLEE
wuhao
05-30 833
背景：ubuntu20.04上安装klee2.2 官网安装教程：KLEE2-2安装教程（不是很详细，仅参考） 本文的安装环境全部放在/opt/klee_env下，root用户下执行命令 1.安装必备工具和依赖 sudo apt-get install build-essential curl libcap-dev git cmake libncurses5-dev python-minimal python-pip unzip libtcmalloc-minimal4 libgoogle-
如何利用 KLEE 符号执行引擎挖掘软件漏洞
u014389734的博客
07-17 601
将符号执行应用于任意真实程序很难，你通常必须对执行环境建模，并找到有效的方法来应对不确定性和路径爆炸。动态符号执行的想法是在任何输入上执行一个软件，同时探索所有可能的执行路径，而无需指定具体值。 具体示例如下，其中输入x未知，即符号： 符号执行在所有三个执行路径(x < 0, x > 100, 0 < = x < =100)并生成三个具体的测试用例：x=-1, x=101和x=23在击中断言之后。 你不再需要手动编写测试用例，你会沿执行路径捕获断言失败和内存安全漏洞。以上
符号化执行 symbolic execute , klee 测试用例生成 增删改（自动化白盒测试范畴）
_
04-06 472
# 运行 sh -x ./runme.sh busz_save_activity 2>&1 | tee busz_save_activity.log sh -x ./runme.sh busz_user_activity 2>&1 | tee busz_user_activity.log // busz_save_activity.c #include "common.h" int main() { int result = false; Activi.
ubuntu12.04-32位，安装KLEE及使用工具过程中遇到的问题
u012905667的专栏
09-23 2400
安装klee出现的问题： 前面都没有错，最后make check时出现：make[1]: *** [check-local] Error 1 网上查说make check运行时可能需要root权限。不对，make check不过对后面执行没有影响。不要 KLEE运行的第一个小例子： 使用klee_make_symbolic()函数来标明一个函数是符号变量
Kirenenko：像污点分析一样实现动态符号执行 .pdf
09-05
《Kirenenko：像污点分析一样实现动态符号执行》 动态符号执行是一种强大的程序分析技术，它在安全领域有着广泛的应用，特别是在安全防御、Web安全、企业安全和安全体系构建中。污点分析是一种动态数据流分析，用于...
Triton:Triton是动态二进制分析（DBA）框架。 它提供了内部组件，例如动态符号执行（DSE）引擎，动态异味引擎，x86，x86-64，ARM32和AArch64指令集体系结构（ISA）的AST表示，SMT简化传递，SMT求解器界面以及最后但并非最不重要的是，Python绑定
04-05
Triton是一个动态二进制分析（DBA）框架。 它提供了内部组件，例如动态符号执行（DSE）引擎，动态污点引擎， x86 ， x86-64 ， ARM32和AArch64指令集体系结构（ISA）的AST表示， SMT简化过程， SMT求解器接口以及最后但并非最不重要的是Python bindings 。 基于这些组件，您可以构建程序分析工具，自动化逆向工程和执行软件验证。 由于Triton仍是一个年轻的项目，如果它还不可靠，请不要怪我们。 或总是比troll =）好。 完整的文档可在我们的。 快速开始 消息 可用，您可以通过twitter 或通过我们的 feed关注我们。 支持 IRC ：＃qb_triton @ freenode 邮件：Quarkslab com的Triton 作者 乔纳森·萨尔旺（ Jonathan Salwan）-Quarkslab首席开发人员 克里斯汀·海特
wasabi-aeg:使用符号执行引擎Triton的AEG（自动漏洞生成）的另一种实现方式
04-28
山葵AEG 这是使用符号执行引擎Triton的AEG（自动漏洞生成）的另一种实现方式，并且仅是概念证明。 该项目的灵感来自以下研究。 简报 女孩遇见象征性的处决：断言2.自动利用漏洞的产生（在第14回カー／ル／ VM探[队）[ ， ] 要求 和 注意：我的Triton内部版本号是1380（v 0.6）。 Triton的API易失。 因此，将来您可能需要一些求解器脚本补丁。 Python2 建造 您必须构建示例易受攻击的程序。 cd vuln-samples make cd - 演示版 演示应用程序位于vuln-samples 。 笔记 :party_popper: 演示视频（asciinema） :camera: 有货！ notes具有缓冲区溢出错误，shellcode作为instant_win()函数。 我们可以使用AFL获取崩溃输入并将其输入到notes 。 我们发现notes在地址0x7ffff7a8c231
KLEE
10-24
【KLEE：一款开源符号执行工具】 KLEE是一款先进的、开源的动态符号执行工具，主要用于软件测试和验证。它的设计目标是为C和C++程序提供自动化、全面的测试覆盖，帮助开发者找出潜在的错误和漏洞。KLEE通过将程序...
KLee安装
人需要盲目的自信
02-04 777
原文地址：http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923 初次接触klee安装。 cd ~ sudo apt-get -y install g++ curl dejagnu subversion bison flex mkdir work cd work wget http://llvm.org/releas
实验一：使用符号执行工具klee对软件进行破解（来自于klee官网）
weixin_30613343的博客
05-09 373
原文地址：https://gitlab.com/Manouchehri/Matryoshka-Stage-2/blob/master/stage2.md 实验用代码下载地址：https://gitlab.com/Manouchehri/Matryoshka-Stage-2/blob/master/stage2.md 下面是我自己的实验进程： 2017-05-0916:18:09 1. l...
KLEE 符号执行工具的有趣实例_codestorm_新浪博客
codestrom04
03-23 1425
转自：https://feliam.wordpress.com/2010/10/07/the-symbolic-maze/ In this post we’ll exercise the symbolic execution engine KLEE over a funny ASCII Maze (yet another toy example)! VS. ...
安装KLEE-LLVM2.9
sdau_924687868的博客
11-13 1123
安装klee 系统ubuntu14.04 64位 llvm2.9
符号执行与KLEE：精准检测软件安全的关键技术
KLEE (Kernel Launch Expression Language) 是一个强大的符号执行工具，它主要用于自动测试和漏洞分析。KLEE的优势在于： - **准确性**：KLEE不会对路径或状态进行近似，因此在进行状态检查和时序检查时能提供非常...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值