1.
Gábor, Horváth ; Réka, Kovács ; Richárd, Szalay** ; Zoltán, Porkoláb
Implementing and Executing Static Analysis using LLVM and CodeChecker
(2024)
Publication:34849725 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34849725] [Approved]
2.
Gábor, Horváth ; Réka, Kovács ; Zoltán, Porkoláb
Scaling Symbolic Execution to Large Software Systems
(2024)
Publication:34849724 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34849724] [Approved]
3.
Kovács, Réka ; Horváth, Gábor ; Porkoláb, Zoltán
Detecting lifetime errors of std::string view objects in C++
(2024)
Publication:34849102 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34849102] [Approved]
4.
Umann, Kristóf ; Porkoláb, Zoltán ; Horváth, Gábor
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses Using Dataflow Analyses
(2022) , 4 p.
Egyéb URL
Publication:34019576 Published Core Suspect Conference proceedings Scientific
Conference proceedings | Scientific[34019576] [Approved]
5.
Horvath, Gabor ; Kovacs, Reka Nikolett ; Szecsi, Peter
Report on the Differential Testing of Static Analyzers
ACTA CYBERNETICA 25 : 4 pp. 781-795. , 15 p. (2022)
DOI
Publication:33540927 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33540927] [Admin approved]
6.
Szécsi, Péter György ; Horváth, Gábor ; Porkoláb, Zoltán
Improved Loop Execution Modeling in the Clang Static Analyzer
ACTA CYBERNETICA 25 : 4 pp. 909-921. , 13 p. (2022)
DOI Egyéb URL
Publication:32723245 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[32723245] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
7.
Horváth, Gábor
Static Analyses for C++ in the Presence of Separate Compilation 162 p.
Eötvös Loránd University, Informatika Doktori Iskola, Pataki Norbert Dissertation submission year: 2021, Accepted: 2021 Published/defended: 2021
DOI ELTE Könyvtára EDIT
Publication:32644144 Validated Core Citing Thesis (PhD ) Scientific
PhD (Thesis) | Scientific[32644144] [Validated]
8.
Gábor, Horváth ; Norbert, Pataki
IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS
ACTA ELECTROTECHNICA ET INFORMATICA 20 : 4 pp. 10-18. , 9 p. (2020)
DOI Teljes dokumentum
Publication:31819027 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31819027] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
9.
Gábor, Horváth ; Norbert, Pataki
Synthesizing Same-Language Summaries for Symbolic Execution
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 78-79. , 2 p.
Publication:31622847 Admin approved Core Citing Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31622847] [Admin approved]
10.
Horváth, Gábor
Retaining semantic information in the static analysis of real-world software
In: Association, for Computing Machinery Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2019
New York City, United States of America : ACM Press (2019) pp. 32-34. , 3 p.
DOI Scopus Egyéb URL
Publication:30846360 Published Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[30846360] [Approved]
2024-05-15 22:03