Kristóf Umann

According to our database, Kristóf Umann authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

Towards Better Static Analysis Bug Reports in the Clang Static Analyzer.

Kristóf Umann, Zoltán Porkoláb

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2025

2024

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses.

Kristóf Umann, Gábor Horváth, Zoltán Porkoláb

Acta Cybern., 2024

2023

A Case Study on the Quality of Static Analysis Bug Reports.

Kristóf Umann, Zoltán Porkoláb

Proceedings of the Tenth Workshop on Software Quality Analysis, 2023

2021

Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.

Kristóf Umann, Zoltán Porkoláb

Acta Cybern., October, 2021