0

是否可以在 Linux 内核或部分内核上运行符号执行？Concolic测试怎么样？谢谢！

4

1 回答 1

0

是的。

您可以使用 S2E [1] 在体内（在完整的软件堆栈中）分析二进制文件。符号执行是 S2E 的默认模式，但您也可以毫不费力地进行 concolic 测试。

[1] https://s2e.systems/

于 2014-06-14T02:17:36.453 回答