流敏感分析相关论文
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过......
程序指向分析是一种静态程序分析技术，它分析程序中指针类型的变量，并计算其运行时可能指向对象的集合。指向分析结果广泛应用于编译......
