会议论文《符号执行技术研究》发表于第24次全国计算机安全学术交流会，探讨了符号执行在软件安全分析中的应用与进展。文章介绍了符号执行的基本原理及其在漏洞检测、程序验证等方面的优势，同时分析了当前研究中存在的挑战与解决方案。该论文为提升软件安全性提供了理论支持和技术参考，对计算机安全领域的研究具有重要意义。
文档为pdf格式，0.28MB，总共5页。
举报
