УДК: 004.4'42

Анализ достижимости методов при выборочной инициализации классов в программах на языке Java

А. В. Пилипенко, аспирант, СПбГУ, e-mail: artur.pilipenko@gmail.com, О. А. Плисс, канд. физ.-мат. наук, Principal Member of Technical Staff, Oralce, Санта-Клара, США, e-mail: oleg.pliss@gmail.com

Рассмотрена задача анализа достижимости методов при создании загрузочного образа инициализированного состояния виртуальной машины. Подготовка образа включает в себя инициализацию классов программы. Объекты, созданные при инициализации классов, могут влиять на достижимость методов. Такие зависимости не учитываются стандартными алгоритмами анализа. Предложен алгоритм анализа достижимости методов, осуществляющий выборочную инициализацию используемых классов и учитывающий влияние объектов, созданных при инициализации, на достижимость методов.

Ключевые слова: Java, виртуальные машины, инициализация классов, анализ достижимости методов, косвенные вызовы

Стр. 3–8