Анализ псевдонимов

Анализ статический, позволяющий установить наличие в программе доступа к одной и той же переменной или функции с помощью различных ссылок (указателей) [ ГОСТ Р 71207-2024 ].