Gábor Horváth

According to our database, Gábor Horváth authored at least 16 papers between 2016 and 2024.

Collaborative distances:

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

2024

Detecting lifetime errors of std::string_view objects in C++.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

CoRR, 2024

Implementing and Executing Static Analysis Using LLVM and CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb

CoRR, 2024

Static Code Analysis with CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb, Gergely Orbán, Dániel Krupp

CoRR, 2024

Scaling Symbolic Execution to Large Software Systems.

Gábor Horváth, Réka Kovács, Zoltán Porkoláb

CoRR, 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

2021

Improved Loop Execution Modeling in the Clang Static Analyzer.

Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb

Acta Cybern., October, 2021

Report on the Differential Testing of Static Analyzers.

Gábor Horváth, Réka Nikolett Kovács, Péter Szécsi

Acta Cybern., October, 2021

Static Analyses for C++ in the Presence of Separate Compilation

Gábor Horváth

PhD thesis, 2021

2019

Retaining semantic information in the static analysis of real-world software.

Gábor Horváth

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Detecting C++ Lifetime Errors with Symbolic Execution.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

Proceedings of the 9th Balkan Conference on Informatics, 2019

Categorization of C++ Classes for Static Lifetime Analysis.

Gábor Horváth, Norbert Pataki

Proceedings of the 9th Balkan Conference on Informatics, 2019

On the Validated Usage of the C++ Standard Template Library.

Bence Babati, Gábor Horváth, Norbert Pataki, Attila Páter-Részeg

Proceedings of the 9th Balkan Conference on Informatics, 2019

2018

[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer.

Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Implementation and evaluation of cross translation unit symbolic execution for C family languages.

Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Code Generation in Serializers and Comparators of Apache Flink.

Gábor Horváth, Norbert Pataki, Márton Balassi

Proceedings of the 12th Workshop on Implementation, 2017

2016

Source language representation of function summaries in static analysis.

Gábor Horváth, Norbert Pataki

Proceedings of the 11th Workshop on Implementation, 2016