Gábor Horváth

16 papers C 1Journal 7Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Detecting lifetime errors of std::string_view objects in C++. CoRR Réka Kovács, Gábor Horváth, Zoltán Porkoláb
2024	J	`jnl`	Implementing and Executing Static Analysis Using LLVM and CodeChecker. CoRR Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb
2024	J	`jnl`	Scaling Symbolic Execution to Large Software Systems. CoRR Gábor Horváth, Réka Kovács, Zoltán Porkoláb
2024	J	`jnl`	Static Code Analysis with CodeChecker. CoRR Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb, Gergely Orbán, Dániel Krupp
2024	J	`jnl`	Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses. Acta Cybern. Kristóf Umann, Gábor Horváth, Zoltán Porkoláb
2021	J	`jnl`	Improved Loop Execution Modeling in the Clang Static Analyzer. Acta Cybern. Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
2021	J	`jnl`	Report on the Differential Testing of Static Analyzers. Acta Cybern. Gábor Horváth, Réka Nikolett Kovács, Péter Szécsi
2021	—	`—`	Static Analyses for C++ in the Presence of Separate Compilation Gábor Horváth
2019	—	`conf`	Categorization of C++ Classes for Static Lifetime Analysis. BCI Gábor Horváth, Norbert Pataki
2019	—	`conf`	Detecting C++ Lifetime Errors with Symbolic Execution. BCI Réka Kovács, Gábor Horváth, Zoltán Porkoláb
2019	—	`conf`	On the Validated Usage of the C++ Standard Template Library. BCI Bence Babati, Gábor Horváth, Norbert Pataki, Attila Páter-Részeg
2019	—	`conf`	Retaining semantic information in the static analysis of real-world software. SPLASH (Companion Volume) Gábor Horváth
2018	—	`conf`	Implementation and evaluation of cross translation unit symbolic execution for C family languages. ICSE (Companion Volume) Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
2018	C	`conf`	[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. SCAM Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
2017	—	`conf`	Code Generation in Serializers and Comparators of Apache Flink. ICOOOLPS@ECOOP Gábor Horváth, Norbert Pataki, Márton Balassi
2016	—	`conf`	Source language representation of function summaries in static analysis. ICOOOLPS@ECOOP Gábor Horváth, Norbert Pataki