S2E/s2e

S2E：一个具备选择性符号执行功能的多路径程序分析平台。

↗ 在 GitHub 打开

星数

526

Fork 数

96

语言

C++

许可

NOASSERTION

最后推送

7天前

C++linux windows testing reverse-engineering analysis qemu llvm kvm device automated vulnerabilities cgc coverage drivers execution pov s2e symbolic vm x86

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。