S2E/s2e

GitHub: S2E/s2e

基于 QEMU 的选择性符号执行平台,支持在无源码条件下对原生二进制进行多路径自动化分析。

Stars: 510 | Forks: 96

# S2E 库 本仓库包含构建 ``libs2e.so`` 所需的全部组件。此共享库会预加载到 QEMU 中,以启用符号执行。 有关构建和使用说明,请参阅 ``docs`` 目录中的文档。 您也可以访问 在线查阅。
标签:ASN解析, Assetfinder, Fuzzing, libs2e.so, QEMU, S2E, TLS抓取, URL发现, 二进制分析, 云安全运维, 云资产清单, 内联执行, 动态二进制插桩, 多路径程序分析, 安全检测, 程序分析平台, 符号执行, 系统运维工具, 虚拟化, 调试插件, 身份验证强制, 软件安全, 逆向工具, 逆向工程, 选择性符号执行