Я испытываю желание забрать мой старый проект, в котором уже есть много кода, необходимого для анализа потока данных, SSA и конкретизации значения переменных в любой точке P в программе. Он использует типовые выводы для статического вывода значений для вычисляемых переменных. Также моя типовая система может быть слишком импровизированной, но я думаю, что было бы забавным упражнением, чтобы написать абстрактный интерпретатор для моего любимого языка. Я бы инвестировал усилия, только если есть фактическое использование. Попытка полностью охватить абстрактную интерпретацию CFG и конкретизацию значений. />https://ics.uci.edu/~lopes/teaching/inf ... s-soft.pdf
https://dl.acm.org/doi/10.1145/512950.512973
Подробнее здесь: https://stackoverflow.com/questions/797 ... 6-ts-solve
