过程间相关论文
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)......
时序型恶意行为以一组函数调用序列作为特征.现有的针对时序型恶意行为分析方法由于在行为刻画、程序路径空间建模的缺陷,导致它们......
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个......
数组越界是C和C++程序中常见故障，在各种软件测试系统的设计中，都占据重要位置．本文首先时数组越界故障进行分析，建立数组越界类型故障......
为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息......
路径测试是一种覆盖程度较高的白盒测试方法,测试软件的完整路径可以有效提高软件可靠性,而路径生成是路径测试的前提。随着软件规......
