Ivannikov Institute for System Programming of the RAS


Static analysis of program source code for program understanding.

Start of project – 2014. Customer - RFBR.

The project goal is to create methods for solving program understanding problems that arise during the program lifecycle. The basic information for such methods is program structure, that is, program entities, relations between them, and their metrics. The methods will be used in the task of easing the back/forward porting of code changes between different versions of the given program.

The basic framework for our development is an open-source industrial compiler (LLVM or GCC) which allows applying our approach to the real-world programs (millions of LOC).

Implementer

Compiler Technology

Go to the list of projects