Я просмотрел в интернете поиск в Google по указанному выше вопросу, но не нашел понятной высокоуровневой идеи подхода к нему. Я прочитал учебник Engineering-a-Compiler by Cooper / Torczon (https://www.amazon.com/Engineering-Compiler-Keith-Cooper/dp/012088478X), но это не говорит об анализе потоков данных для массивов. Я понимаю анализ потока данных для скаляров и продвинутых IR, таких как SSA.
Любые объяснения, которые легко получить asp, как это делается для массивов / указателей?