\ [>_ ] / やれやれ DA★ZE
拥有标签 二进制安全 的文章:

KLEE_为复杂系统程序自动生成高覆盖率的测试

原⽂地址:https://www.usenix.org/legacy/event/osdi08/tech/full_papers/cadar/cadar.pdf 作者:Cristian Cadar, Daniel Dunbar, Dawson Engler - Stanford University 翻