Тема ВКР: «Разработка менеджера оптимизирующих и анализирующих проходов библиотеки анализа Java байт-кода "KFG"». В данной работе изложены результаты поиска и анализа существующих решений, а также реализация менеджера проходов библиотеки KFG. Задачи, решаемые в ходе выполнения работы: Изучение существующих решений менеджера проходов. Разработка подхода работы с конвейером проходов и зависимостями. Разработка менеджера проходов библиотеки KFG. Тестирование и интеграция новой версии KFG в инструмент автоматической генерации тестов KEX. В результате были исследованы существующие решения в LLVM и GCC и разработан менеджер прохода с составлением валидной и квазиоптимальной очереди проходов, кэширования результатов анализа, удобными средствами создания конвейера проходов, а также произведена интеграция в KEX.

The subject of the undergraduate qualification work is «Pass manager development for Java byte-code optimization and analysis library "KFG"». This work presents the results of the search and analysis of existing solutions, as well as the implementation of the pass manager for KFG library. During this work the next tasks were solved: Studying existing implementations of pass manager.Development of an approach for working with a pipeline of passes and dependencies. Development of Pass Manager for KFG library. Testing and integrating a new version of KFG into platform for automatic test generation KEX. As a result, the pass manager was implemented in accordance with the developed approach for the pipeline and dependencies usage. An evaluation of the convenience of the new version of KFG by integration into an existing project was made, as a result of which a decision was made on the applicability of the created approach.