Viktor Malík

Scalable and Composable Static Shape Analysis

Školitel: Prof. Ing. Tomáš Vojnar, Ph.D.

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Computer Science and Engineering

 

O mém projektu

The goal of this project is to conduct research in the area of automatic formal verification and analysis of programs, particularly in the field of static analysis of shape of dynamic data structures on the program heap. This application presents proposal of the main contributions of my work, that are directed towards improvement of the state of the art in this field and towards providing a more scalable and composable analysis compared to the current existing approaches.