关于AmocoAmoco是一款功能强大的二进制源码静态分析工具，该工具基于Python 3.8开发，可以帮助广大研究人员轻松对二进制程序执行静态符号分析。工具特性1、一个通用的指令…
关于MonocleMonocle是一款基于LLM的二进制文件自然语言搜索工具，该工具由LLM驱动，用于对已编译的目标二进制文件执行自然语言搜索，并查找加密代码、密码字符串和安全缺陷…
关于RopdumpRopdump是一款针对二进制可执行文件的安全检测工具，该工具基于纯Python开发，是一个命令行工具，旨在帮助广大研究人员检测和分析二进制可执行文件中潜在的RO…
本次题目跟第七届HWS线下的re2有类似的地方，均有后门函数。二进制后门可以理解为：我们只需要修改某个字节或某个函数，就可以将加密的过程变成解密的过程，大大节省逆向成本。本题先对内…
这次用OD分析Brad Soblesky.2的算法分析，并带着一步步写对应的注册机。程序可以自行网上找。这次先不考虑有无壳的问题，着重在分析思路。１、信息收集先简单运行程序试试功能…
模糊测试（将可能无效的数据、异常数据或随机数据作为输入内容提供给程序）是在大型软件系统中查找错误的一种非常有效的方式，也是软件开发生命周期的重要组成部分。LibFuzzer 与被测…
一、背景1. 验证补丁的困惑众所周知，寻找并定位二进制代码之间存在（源）代码复用、存在的差异，其准确率及召回率是2个关键指标。无恒实验室在日常的研究工作中发现，面对ROM中数百程序…