基于混合符号执行的安全漏洞检测关键技术研究 - 第七届信息安全漏洞分析与风险评估大会.pdf

4 0

2026-1-10 04:20 | 查看全部阅读模式

会议论文《基于混合符号执行的安全漏洞检测关键技术研究》发表于第七届信息安全漏洞分析与风险评估大会。该文提出一种结合符号执行与约束求解的混合方法，用于提高安全漏洞检测的效率和准确性。通过融合路径敏感分析与动态测试技术，有效识别软件中的潜在安全缺陷，为提升系统安全性提供了新的思路和技术支持。

文档为pdf格式，0.51MB，总共13页。