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
A Case Study on the Quality of Static Analysis Bug Reports
CEUR WORKSHOP PROCEEDINGS 3588 pp. 74-79. , 6 p. (2023)
Teljes dokumentum
Publication:34437958 Admin approved Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34437958] [Admin approved]
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 (eds.) Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Switzerland : Springer International Publishing (2023) 393 p. pp. 165-201. Paper: Chapter 6 , 37 p.
DOI Other URL
Publication:34205378 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34205378] [Admin approved]
6.
Porkoláb, Zoltán (eds.) ; Zsók, Viktória (eds.)
Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Switzerland : Springer International Publishing (2023) , 393 p.
DOI ISBN: 9783031428326 ISBN: 9783031428333 Other URL
Publication:34205374 Admin approved Core Book (Conference proceedings ) Scientific
Conference proceedings (Book) | Scientific[34205374] [Admin approved]
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)
Institute of Electrical and Electronics Engineers (2023) pp. 1-7. , 7 p.
DOI Other URL
Publication:34189198 Validated Core Citing Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[34189198] [Validated]
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 Other URL
Publication:34107990 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34107990] [Validated]
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
Publication:34090708 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34090708] [Validated]
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, Hungary : EKKE (2023) pp. 1-3. , 3 p.
Other URL
Publication:34027987 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34027987] [Admin approved]
2024-05-19 11:22