Detecting C++ Lifetime Errors with Symbolic Execution
Reka Kovacs, Gabor Horvath, Zoltan Porkolab
BCI 2019 | Best Paper Award

An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer
Reka Kovacs, Gabor Horvath
Studia Universitatis Babes-Bolyai Informatica 2018

Towards Proper Differential Analysis of Static Analysis Engine Changes
Gabor Horvath, Reka Kovacs, Peter Szecsi
CSCS 2018


(Ab)using compiler tools
CppCon 2019

Catch dangling inner pointers with the Clang Static Analyzer
EuroLLVM 2019

Cross translation unit test case reduction
EuroLLVM 2019