Development of the tool for automatic isolation of LLVM code under test

Abstract

В рамках данной работы было разработано программное средство для автоматической изоляции тестируемого LLVM кода на базе символьной виртуальной машины KLEE. В основе алгоритма автоматической изоляции лежит автоматическая генерация символьных моделей для внешних функций. Полученный продукт был протестирован на промышленном проекте FRRouting. Тестирование показало, что реализованная функциональность значительно улучшает работу KLEE.

This work is dedicated to the development of the tool for automatic isolation of LLVM code under test. The tool was implemented on the basis of the symbolic execution virtual machine named KLEE. The automatic isolation algorithm is based on the automatic generation of symbolic models for external functions. The resulting product was tested on an industrial project FRRouting. Testing has demonstrated that the implemented functionality significantly improves the performance of KLEE.