在OS内核上的符号执行/共形测试

Question

是否可以在Linux内核或其部分上运行符号执行？concolic测试呢？谢谢！

Answer 1

您可以使用S2E [1]进行体内二进制分析（在完整的软件堆栈内）。符号执行是S2E的默认模式，但是您也可以轻松进行condicolic测试。

[1] https://s2e.systems/