Testing 操作系统内核上的符号执行/协同测试

可以在Linux内核或部分内核上运行符号执行吗？ 共同测试呢？ 谢谢

是的

您可以使用S2E[1]在整个软件堆栈中分析二进制文件。符号执行是S2E的默认模式，但您也可以不费吹灰之力地进行协同测试

---

[1]

Concolic=Concrete+symbolicies，请查看S2E的文档。我与S2E作者进行了沟通。他说32位是不受支持的。因为符号执行是资源密集型的，而32位操作系统是有限的。您的引用只是说您现在需要权限。@Benni更新了链接