过程间相关论文
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)......
为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息......
路径测试是一种覆盖程度较高的白盒测试方法,测试软件的完整路径可以有效提高软件可靠性,而路径生成是路径测试的前提。随着软件规......
