compiler-construction - 如何确定所需的别名分析类型？

Question

附件是一个作业问题，是否需要内容敏感和/或流敏感分析来查看 src 可以指向哪些值。它给出了内容敏感和流敏感分析的定义，但是你如何解释它是内容敏感（结果取决于调用堆栈）还是内容不敏感（结果不取决于调用堆栈）和流敏感（看在程序中的每个点）和流不敏感（查看程序执行中的任何点）？

标签： compiler-constructioncode-analysisstatic-analysisstatic-code-analysis

Answer 1

需要流量敏感和上下文不敏感的分析。

在第 3 行，流敏感分析确保 src 仅指向函数调用的实际参数。否则它也可能指向本地。

在 10 和 11 的两个上下文中，src 都指向 a。（上下文不敏感分析就足够了）