Research group

Verification or Program Analysis Lab

HoarFrost

Itsykson VladimirActive

HoarFrost is a tool that helps to migrate code from one library to another.

The main goal of the LibraryMigration project is to demonstrate the feasibility of automatic migration of object-oriented code to a new set of programming libraries. The project consists of the migration method and the tool named HoarFrost which acts as a method implementation prototype. The migration method is based on the formalism created by the authors for description of library semantics. The formalism specifies library behaviour using a system of extended finite state machines (EFSM).

Currently the method and the tool are capable of successfully migrating several real-world open-source projects.

Participants

Aleksyuk Artyom
Aleksyuk Artyom
Itsykson Vladimir
Itsykson Vladimir

Materials

Publications

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

Read more