目前我正在阅读很多关于静态代码分析的内容。有几个术语让我感到困惑，因为我无法分辨出它的区别。
他们之间有什么区别（如果有的话）？
答案 0 :(得分：3)
Pointer analysis或points-to analysis是一种静态程序分析
确定有关指针变量或表达式值的信息。
尽管文献在术语上并不完全一致，pointer analysis
是alias analysis的近似同义词。
然而，pointer/points-to analysis通常会尝试对堆对象建模并询问“哪些对象
一个变量指向？“，alias analysis算法关注的问题”一对变量/表达式是否可以指向同一个对象（别名）？“