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)
Közlemény:34849725 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34849725] [Nyilvános]
2.
Gábor, Horváth ; Réka, Kovács ; Zoltán, Porkoláb
Scaling Symbolic Execution to Large Software Systems
(2024)
Közlemény:34849724 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34849724] [Nyilvános]
3.
Kovács, Réka ; Horváth, Gábor ; Porkoláb, Zoltán
Detecting lifetime errors of std::string view objects in C++
(2024)
Közlemény:34849102 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34849102] [Nyilvános]
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
Közlemény:34019576 Nyilvános Forrás Duplumgyanú Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34019576] [Nyilvános]
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
Közlemény:33540927 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[33540927] [Admin láttamozott]
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
Közlemény:32723245 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[32723245] [Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
7.
Horváth, Gábor
Static Analyses for C++ in the Presence of Separate Compilation 162 p.
Eötvös Loránd Tudományegyetem (ELTE), Informatika Doktori Iskola, Pataki Norbert Disszertáció benyújtásának éve: 2021, Védés éve: 2021 Megjelenés/Fokozatszerzés éve: 2021
DOI ELTE Könyvtára EDIT
Közlemény:32644144 Egyeztetett Forrás Idéző Disszertáció (PhD ) Tudományos
PhD (Disszertáció) | Tudományos[32644144] [Egyeztetett]
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
Közlemény:31819027 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31819027] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Gábor, Horváth ; Norbert, Pataki
Synthesizing Same-Language Summaries for Symbolic Execution
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 78-79. , 2 p.
Közlemény:31622847 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31622847] [Admin láttamozott]
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, Amerikai Egyesült Államok : ACM Press (2019) pp. 32-34. , 3 p.
DOI Scopus Egyéb URL
Közlemény:30846360 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[30846360] [Nyilvános]
2024-05-17 06:20