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
A Case Study on the Quality of Static Analysis Bug Reports
CEUR WORKSHOP PROCEEDINGS 3588 pp. 74-79. , 6 p. (2023)
Teljes dokumentum
Közlemény:34437958 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34437958] [Admin láttamozott]
5.
Brunner, Tibor ; Cserép, Máté ; Fekete, Anett ; Mészáros, Mónika ; Porkoláb, Zoltán ✉
Towards Better Tool Support for Code Comprehension
In: Porkoláb, Zoltán; Zsók, Viktória (szerk.) Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Svájc : Springer International Publishing (2023) 393 p. pp. 165-201. Paper: Chapter 6 , 37 p.
DOI Egyéb URL
Közlemény:34205378 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34205378] [Admin láttamozott]
6.
Porkoláb, Zoltán (szerk.) ; Zsók, Viktória (szerk.)
Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Svájc : Springer International Publishing (2023) , 393 p.
DOI ISBN: 9783031428326 ISBN: 9783031428333 Egyéb URL
Közlemény:34205374 Admin láttamozott Forrás Könyv (Konferenciakötet ) Tudományos
Konferenciakötet (Könyv) | Tudományos[34205374] [Admin láttamozott]
7.
Fekete, Anett ; Kovács, Benedek ; Porkoláb, Zoltán
Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts
In: 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)
IEEE (2023) pp. 1-7. , 7 p.
DOI Egyéb URL
Közlemény:34189198 Egyeztetett Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[34189198] [Egyeztetett]
8.
Fekete, Anett ; Porkoláb, Zoltán
Field Experiment of the Memory Retention of Programmers Regarding Source Code
STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 68 : 1 pp. 71-82. , 12 p. (2023)
DOI Egyéb URL
Közlemény:34107990 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34107990] [Egyeztetett]
9.
Benjámin, Barth ; Richárd, Szalay ✉ ; Zoltán, Porkoláb
A Tag-Based Solution for Safer Parallel STL Usage
ACTA ELECTROTECHNICA ET INFORMATICA 23 : 2 pp. 19-27. Paper: 2023-0008 , 9 p. (2023)
DOI Teljes dokumentum
Közlemény:34090708 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34090708] [Egyeztetett]
10.
Umann, Kristóf ; Porkoláb, Zoltán
A Survey of Dataflow Analyses in Clang
In: 12th International Conference on Applied Informatics (ICAI 2023)
Eger, Magyarország : Eszterházy Károly Katolikus Egyetem (2023) pp. 1-3. , 3 p.
Egyéb URL
Közlemény:34027987 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[34027987] [Admin láttamozott]
2024-05-27 11:06