安全KER - 安全资讯平台

符号执行

BovInspector：一个自动化验证缓冲区溢出漏洞的工具

符号执行

静态分析

静态分析工具可以很全面地检测软件，但是误报率也很高。人工地去验证这些静态分析报告是费时费力的过程。BovInspector可以去自动化地验证静态分析找出的缓冲区溢出漏洞。本文将介绍BovInspector的基本原理，安装使用方法。

iskindar
2021-06-01 15:30:10

325531次阅读

Angr_CTF从弃坑到启航

承接上一篇文章，上一章教程我们主要学习了angr的Hook接口的利用，这次我们把剩下的题目一网打尽。

ZERO-A-ONE
2020-09-04 14:30:35

657899次阅读 2

Angr_CTF从精通到弃坑

在之前的学习中我们学会了利用angr符号化寄存器、栈上的值、内存、malloc开辟的动态内存和文件系统，感受到了angr强大的仿真系统，在CTF中题目的简单利用，接下来我们要学习angr的更多的高级用法。

ZERO-A-ONE
2020-08-18 16:00:51

616451次阅读 3

Angr_CTF已入门到精通

承接上一篇的文章，我们学习了angr应用的大概基础框架和符号化寄存器，现在我们来继续学习angr的更多神奇用法

ZERO-A-ONE
2020-08-12 14:30:53

578191次阅读 2

符号执行

Angr_CTF从入门到精通

符号执行

angr

本文基于一个GitHub上关于Angr在CTF上应用的题库，我自己的笔记和题目二进制文件，以及注释脚本EXP我另外开了一个仓库。

ZERO-A-ONE
2020-08-10 10:29:07

583006次阅读 1

漏洞挖掘之乱拳打死老师傅——Fuzzer

Fuzzer是一种通过产生一系列非法的、非预期的或者随机的输入向量给目标程序，从而完成自动化的触发和挖掘目标程序中的安全漏洞的软件测试技术。

desword
2018-10-12 16:00:59

1001550次阅读 8

符号执行——从入门到上高速

近年利用符号执行进行分析的论文在安全的顶会中出现较为频繁，因此，笔者在本文中将做一份总结和近期学习的知识分享。会由浅入深的从符号执行的基础讲起，再延伸到目前科技的最前沿。

desword
2018-08-29 14:30:50

1107445次阅读 8

符号执行

符号反混淆：从虚拟代码中恢复源码(DIMVA 2018)

自2016年以来，我们一直在研究符号执行和二进制反混淆。上周，我们在DIMVA 2018上发布了这项研究的一部分，重点是关于攻击虚拟化的软件保护，特别是当哈希函数被虚拟化以保护完整性检查、识别等。

veams
2018-07-20 15:00:14

517674次阅读 3