《表5 模式检测相关知识与技术》
提示：宽带有限、当前游客访问压缩模式
模式检测基于源代码抽象表示或二进制代码中间表示等，设计特定模型检测漏洞或证明程序代码证明，包括源码模型检测、定理证明、二进制漏洞模式检测等。模式检测相关工作如表5所示。
| 图表编号 | XD00125590900 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.11.01 |
| 作者 | 袁子牧、肖扬、吴炜、霍玮、邹维 |
| 绘制单位 | 中国科学院信息工程研究所、中国科学院信息工程研究所、中国科学院大学网络空间安全学院、中国科学院信息工程研究所、中国科学院大学网络空间安全学院、中国科学院信息工程研究所、中国科学院大学网络空间安全学院、中国科学院信息工程研究所、中国科学院大学网络空间安全学院 |
| 更多格式 | 高清、无水印（增值服务） |
