Ivannikov Institute for System Programming of the RAS

Static program analysis for dynamically typed languages

Start of project – 2010.

The project is designed to research the feasibility of applying static program analysis techniques for dynamically-typed languages. First prototype implementation of the analysis tool targeted Python language and performed type inference to automatically identify related errors. Current work on the project includes extending the type inference engine by processing program control flow structure.


System Programming

Go to the list of projects