| Sep 9, 2018 | 论文: Zesti用于改进回归测试的符号执行方案 | 3 min read | klee paper symexe |
|---|---|---|---|
| Sep 9, 2018 | KLEE中Seed模式流程解析及相关选项介绍 | 82 min read | klee symexe |
| Jul 24, 2018 | 论文: VulDeePecker基于深度学习的漏洞检测系统 | 6 min read | deeplearning vulnerable |
| Apr 4, 2018 | 检测Android虚拟机的方法和代码实现 | 50 min read | antivm malware |