目前,我正在阅读大量关于静态代码分析的文章。有几个术语让我感到困惑,因为我真的不知道区别是什么。
他们之间有什么区别(如果有的话)?
发布于 2016-09-19 10:44:19
Pointer analysis或points-to analysis是一种静态程序分析,它确定有关指针变量或表达式的值的信息。
虽然文献在术语上并不完全一致,但pointer analysis是alias analysis的近义词.然而,pointer/points-to analysis通常尝试对堆对象建模,并询问“变量可以指向哪些对象?”,而alias analysis算法则关注“一对变量/表达式能指向同一个对象(别名)吗?”
https://stackoverflow.com/questions/38033234
复制相似问题