Аналіз області видимості () — динамічний аналіз часу життя та області видимості вказівників для ефективнішого використання пам'яті. На цьому етапі також будується граф викликів — структура послідовності викликів функцій у вхідному коді, та граф потоку керування. Оптимізація проміжного коду