2018
an archive of posts from this year
Sep 9, 2018 | 论文: Zesti用于改进回归测试的符号执行方案 |
---|---|
Sep 9, 2018 | KLEE中Seed模式流程解析及相关选项介绍 |
Jul 24, 2018 | 论文: VulDeePecker基于深度学习的漏洞检测系统 |
Apr 4, 2018 | 检测Android虚拟机的方法和代码实现 |
an archive of posts from this year
Sep 9, 2018 | 论文: Zesti用于改进回归测试的符号执行方案 |
---|---|
Sep 9, 2018 | KLEE中Seed模式流程解析及相关选项介绍 |
Jul 24, 2018 | 论文: VulDeePecker基于深度学习的漏洞检测系统 |
Apr 4, 2018 | 检测Android虚拟机的方法和代码实现 |