上下文敏感分析相关论文
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过......
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率......
程序指向分析是一种静态程序分析技术,它分析程序中指针类型的变量,并计算其运行时可能指向对象的集合。指向分析结果广泛应用于编译......