首页
文章
|
文章分类
安全知识
|
安全资讯
|
安全活动
|
安全工具
|
招聘信息
|
内容精选
360网络安全周报
|
安全客季刊
|
专题列表
|
热门标签
网络安全热点
|
招聘
|
活动
|
CTF
|
安全活动
|
行业资讯
|
网络攻击
|
漏洞情报
|
每日安全热点
|
Web安全
|
SRC导航
内容精选
投稿
登录
注册
主页2
个人主页
消息
我的消息
设置
个人设置
关闭
退出登录
首页
安全知识
安全资讯
招聘信息
安全活动
APP下载
符号执行
符号执行
浅谈angr的缓解状态爆炸策略
符号执行
angr
angr是有名的符号执行工具。众所周知,符号执行最大的问题就是状态爆炸。因此,angr中也内置了很多缓解符号执行的策略。本文主要介绍angr里的一些内置机制是如何缓解状态爆炸的。
iskindar
2021-09-03 14:30:25
287048
次阅读
符号执行
源码解析angr的模拟执行
符号执行
本文将解析angr模拟执行部分的源码,来帮助大家了解angr模拟执行的基本原理。
iskindar
2021-09-01 14:30:09
203421
次阅读
符号执行
BovInspector:一个自动化验证缓冲区溢出漏洞的工具
符号执行
静态分析
静态分析工具可以很全面地检测软件,但是误报率也很高。人工地去验证这些静态分析报告是费时费力的过程。BovInspector可以去自动化地验证静态分析找出的缓冲区溢出漏洞。本文将介绍BovInspector的基本原理,安装使用方法。
iskindar
2021-06-01 15:30:10
216934
次阅读
符号执行
KLEE 源码阅读笔记
符号执行
klee
KLEE是基于LLVM的符号执行工具,发表于2008年的OSDI会议上,至今已被引用3000多次,基于该工作的研究也有150多篇,其中有30多个是开源工作。本文从KLEE源码入手,希望能让读者了解klee工作的基本原理。
iskindar
2021-05-20 16:30:17
377095
次阅读
符号执行
angr之cle加载模块
符号执行
最近看到关于angr这一框架的分析,但对于某些部分讲的比较模糊,于是就根据个人理解重新写入一篇分析,如果有理解错误的地方,希望大家指正.
helon
2021-04-06 10:30:19
288585
次阅读
1
符号执行
Angr源码阅读笔记02
符号执行
angr
源码解析
上一回我们从angr的__init__.py文件入手,到解析了project.py文件的内容,了解了一个基本的angr项目是怎么一步一步初始化到建立完成开始可以执行操作的,现在我们把目光放回到所有angr项目的基石-CLE类与angr的中间语言VEX-IR语言上,更进一步的理解整个angr系统的工作情况。
ZERO-A-ONE
2021-03-05 14:30:57
410143
次阅读
符号执行
Angr源码阅读笔记01
符号执行
angr
双倍活动
Angr框架的分析对象是二进制程序,不依赖程序源码,支持x86/64、ARM/AArch64,MIPS等多个架构,之前的版本更新还引入了Java的支持。
ZERO-A-ONE
2021-02-24 14:30:19
394237
次阅读
符号执行
带你搞懂符号执行的前世今生与最近技术
符号执行
双倍活动
iddm带你读论文——SymQEMU:Compilation-based symbolic execution for binaries。
random
2021-02-23 15:30:00
444237
次阅读
4
漏洞挖掘
Kirenenko:像污点分析一样实现动态符号执行
漏洞挖掘
符号执行
污点分析
在 2017 年下半年,Byoungyoung 和我讨论如何使模糊测试在翻转条件分支上更高效。
PureT1
2020-12-08 12:00:30
247941
次阅读
CTF
Angr_CTF从弃坑到启航
CTF
符号执行
angr
承接上一篇文章,上一章教程我们主要学习了angr的Hook接口的利用,这次我们把剩下的题目一网打尽。
ZERO-A-ONE
2020-09-04 14:30:35
473875
次阅读
2
加载更多
热门标签
安全资讯
安全知识
安全热点
漏洞分析
恶意软件
网络安全热点
招聘
活动
CTF
安全活动
行业资讯
网络攻击
漏洞情报
每日安全热点
Web安全
漏洞
安全头条
漏洞预警
渗透测试
数据泄露
热门推荐