日存档: 2018 年 03 月 15 日

符号化执行

今天操作系统课程设计讨论时, 有个人讲了一篇论文, 使用了符号化执行技术。 感觉 …

继续阅读 »