Tomáš Dacík

Efficient Static Analysis of Advanced Pointer Programs

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

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Information Technology

 

O projektu

Cílem projektu je zlepšit metody pro statickou analýzu nízkoúrovňových programů pracujících s dynamicky alokovanou pamětí. Chyby v těchto programech mohou mít za následek závažné bezpečnostní zranitelnosti. Projekt je zaměřen na návrh nových algoritmů pro práci se separační logikou, která patří mezi nejúspěšnější metody pro reprezentaci potenciálně nekonečných množin paměťových konfigurací. Tyto algoritmy pak budou využity v nástrojích založených na vysoce škálující bi-abdukční analýze.

 

Proč dělám vědu?

Na vědě se mi líbí možnost řešit komplikované problémy, u kterých často dopředu není jasné jakým směrem se vydat a zda řešení vůbec existuje.

 

Proč mám rád/a Brno

Brno je město s mnoha příležitostmi potkávat se s zajímavými lidmi.