|
论文《基于扩展符号执行的动态内存故障静态分析方法研究》提出了一种结合符号执行与静态分析的方法，用于检测程序中的动态内存故障。该方法通过扩展符号执行技术，能够更精确地追踪内存操作，提高对空指针解引用、重复释放等错误的检测能力。研究在NASAC2011会议上发表，为软件可靠性分析提供了新的思路。 文档为pdf格式，0.85MB，总共6页。
- 文件大小:
- 870.4 KB
- 下载次数:
- 60
- 基于扩展符号执行的动态内存故障静态分析方法研究 - 2011全国软件与应用学术会议(NASAC2011).pdf ...
-
高速下载
| 
