基于扩展符号执行的动态内存故障静态分析方法研究 - 2011全国软件与应用学术会议(NASAC2011).pdf
<p>论文《基于扩展符号执行的动态内存故障静态分析方法研究》提出了一种结合符号执行与静态分析的方法，用于检测程序中的动态内存故障。该方法通过扩展符号执行技术，能够更精确地追踪内存操作，提高对空指针解引用、重复释放等错误的检测能力。研究在NASAC2011会议上发表，为软件可靠性分析提供了新的思路。</p>文档为pdf格式，0.85MB，总共6页。</br>
<img src="https://d.z3060.com/docthumbnail/202512/14/5osf1wl0eza.webp" title="基于扩展符号执行的动态内存故障静态分析方法研究 - 2011全国软件与应用学术会议(NASAC2011)" alt="基于扩展符号执行的动态内存故障静态分析方法研究 - 2011全国软件与应用学术会议(NASAC2011)">
页:
[1]