Как определить тип анализа псевдонимов требуется? - PullRequest
0 голосов
/ 27 января 2020

Прилагается вопрос домашней работы о том, требуется ли анализ содержимого и / или анализ потока, чтобы увидеть, на какие значения может указывать sr c. И он дает определения анализа, чувствительного к контенту и потока, но как вы интерпретируете, является ли он чувствительным к контенту (результат зависит от стека вызовов) или нечувствительным к содержимому (результат не зависит от стека вызовов) и чувствительным к потоку (вид в каждой точке программы) и нечувствительны к потоку (глядя на любую точку выполнения программы)?

AliasAnalysis

1 Ответ

0 голосов
/ 30 января 2020

Требуется чувствительный к потоку и нечувствительный к контексту анализ.

В строке 3 чувствительный к потоку анализ гарантирует, что sr c только указывает на фактический аргумент вызова функции. в противном случае он также может указывать на локальный.

В обоих контекстах на 10 и 11 sr c указывает на a. (контекстно-нечувствительный анализ достаточен)

...