BinAbsInspector

什么是 BinAbsInspector？ BinAbsInspector（二进制抽象检查器）是一款用于自动化逆向工程和二进制漏洞扫描的静态分析器，是 Keenlab 孵化的一项长期研究项目。它基于抽象解释，并依托 Ghidra 的支持。它使用 Ghidra 的 Pcode 而非汇编语言。目前支持 x86、x64、armv7 和 aarch64 架构的二进制文件。 安装 根据 Ghidra 的文档安装 Ghidra 安装 Z3（测试版本：4.8.15） 注意：Z3 库通常包含两部分：Java 包和原生库。Java 包已包含在 "/lib" 目录中，但我们建议您替换为自己的 Java...