CFL可达性相关硕士博士期刊学术论文

程序指向分析是一种静态程序分析技术，它分析程序中指针类型的变量，并计算其运行时可能指向对象的集合。指向分析结果广泛应用于编译......