Анализ указателя

В информатике, анализ указателя или анализ точек - это метод статического анализа кода, который устанавливает, какие указатели или ссылки на кучу могут указывать на какие переменные, или места хранения. Часто это компонент более сложных анализов, таких как анализ побега. Тесно родственный метод - анализ формы.

(это наиболее распространенное употребление термина в разговорной речи. Вторичное использование имеет анализ указателя как собирательное название для обоих анализов точек, определенных выше, и анализ псевдонимов. Анализ точек и псевдонимов тесно связаны, но не всегда равнозначны.)

• 1 Пример
• 2 Введение
• 3 Алгоритмы
• 4 Ссылки
• 5 Библиография

Для следующей примерной программы анализ точек будет вычислять, что набор точек для pравен {x, y}.

int x; int y; int * p = unknown ()? x: y;

Методы различаются по производительности и точности. Для больших программ могут потребоваться некоторые компромиссы, чтобы завершить анализ в разумные сроки и в разумные сроки. Два примера этих компромиссов:

• Обработка всех ссылок из структурированного объекта как от объекта в целом. Это известно как нечувствительность к полю или нечувствительность к структуре.
• Игнорирование потока управления при анализе того, какие объекты назначены указателям. Это известно как контекстно-нечувствительный анализ указателя (при игнорировании контекста, в котором выполняются вызовы функций) или нечувствительный к потоку анализ указателя (при игнорировании потока управления внутри процедуры).

Недостатком этих упрощений является то, что вычисляемый набор объектов, на который указывает, может стать менее точным.

Алгоритмы анализа указателя используются для преобразования собранных данных об использовании необработанных указателей (присвоение одного указателя другому или назначение указателя, указывающего на другой) в полезный график того, что может каждый указатель указать на.

Двумя основными алгоритмами являются алгоритм Стинсгаарда и.

• Зырянов, Влас; Newman, Christian D.; Guarnera, Drew T.; Collard, Michael L.; Малетик, Джонатан И. (2019). «srcPtr: платформа для реализации подходов к анализу статических указателей» (PDF). ICPC '19: Материалы 27-й Международной конференции IEEE по пониманию программ. Монреаль, Канада: IEEE.
• Смарагдакис, Яннис; Балацурас, Джордж (2015). «Анализ указателя» (PDF). Основы и тенденции в языках программирования. 2 (1): 1–69. doi : 10.1561 / 2500000014. Проверено 30 мая 2019 г.
• Майкл Хинд (2001). «Анализ указателя: мы еще не решили эту проблему?» (PDF). PASTE '01: Материалы семинара ACM SIGPLAN-SIGSOFT 2001 г. по анализу программ для программных средств и инженерии. ACM. С. 54–61. ISBN 1-58113-413-4.
• Steensgaard, Bjarne (1996). «Анализ точек за почти линейное время» (PDF). POPL '96: Материалы 23-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования. Нью-Йорк, Нью-Йорк, США: ACM. С. 32–41. DOI : 10.1145 / 237721.237727. ISBN 0-89791-769-3.
• Андерсен, Ларс Оле (1994). Анализ и специализация программ для языка программирования C (PDF) (кандидатская диссертация).