论文《一种过程间数组越界静态检测方法》提出了一种有效的静态检测技术,用于识别程序中跨过程的数组越界问题。该方法通过分析程序间的调用关系和数据流,提高检测的准确性和全面性。研究在第七届中国测试学术会议上发表,为软件质量保障提供了新的思路和工具支持。
举报