Callisto

Callisto 智能自动化二进制漏洞分析工具 演示： Callisto 是一个智能自动化二进制漏洞分析工具。其目的是自主反编译提供的二进制文件，并遍历输出的伪代码，寻找该伪 C 代码中潜在的安全漏洞。Ghidra 的无头反编译器驱动了二进制反编译和分析部分。伪代码分析首先由 Semgrep SAST 工具执行，然后传递给 GPT-3.5-Turbo 以验证 Semgrep 的发现，并可能识别额外的漏洞。 该工具旨在辅助二进制分析和零日漏洞发现。其输出旨在帮助研究人员识别二进制文件中可能感兴趣的区域或易受攻击的组件，随后可通过动态测试进行验证和利用。它当然无法捕获所有漏洞，但通过...