标签： testing operating-system static-analysis
是否可以在Linux内核或部分内核上运行符号执行？ Concolic Testing怎么样？ 谢谢！
答案 0 :(得分：0)
是
您可以使用S2E [1]分析体内二进制文件（在完整的软件堆栈中）。符号执行是S2E的默认模式，但您也可以毫不费力地进行有形的测试。
[1] https://sites.google.com/site/dslabepfl/proj/s2e