11.
Kovács, Réka ; Horváth, Gábor ; Porkoláb, Zoltán
Detecting C++ Lifetime Errors with Symbolic Execution
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) pp. 1-6. , 6 p.
DOI Other URL
Publication:30824520 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[30824520] [Validated]
12.
Bence, Babati ; Gábor, Horváth ; Norbert, Pataki ; Attila, Páter-Részeg
On the Validated Usage of the C++ Standard Template Library
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) Paper: 23 , 8 p.
DOI ACM Digital Library Scopus Other URL
Publication:30796615 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 0 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[30796615] [Validated]
All citations+mentions: 6, External citations: 0, Self citations: 6, Unhandled citations: 0
13.
Gábor, Horváth ; Norbert, Pataki
Categorization of C++ Classes for Static Lifetime Analysis
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) Paper: 21 , 7 p.
DOI ACM Digital Library Scopus Other URL
Publication:30796594 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 2 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[30796594] [Validated]
All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0
14.
Gábor, Horváth ; Norbert, Pataki
Predicting bugs using symbolic execution graph
In: Theodore, Simos; Charalambos, Tsitouras (eds.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), United States of America : AIP (2019) Paper: 350003 , 4 p.
DOI WoS Scopus Other URL ADS
Publication:30746432 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[30746432] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
15.
Horváth, Gábor ; Kovács, Réka Nikolett ; Szalay, Richárd ; Porkoláb, Zoltán ; Orbán, György ; Krupp, Dániel
Static Code Analysis with CodeChecker pp. 1-18. , 18 p. (2018)
Konferencián kiadott workshop segédlet, tutorial, oktatási anyag kutatómunka elősegítéséhez,
Egyéb URL
Publication:31610885 Published Core Miscellaneous (Manual, study-aid ) Scientific
Manual, study-aid (Miscellaneous) | Scientific[31610885] [Approved]
16.
Horvath, Gabor ; Kovacs, Reka ; Péter, Szécsi
Clang Static Analyzer Test Bench: https://github.com/Xazax-hun/csa-testbench
(2018
Publication:31162283 Published Core Achievement (Software ) Technical
Software (Achievement) | Technical[31162283] [Approved]
17.
György, Orbán ; Tibor, Brunner ; Gábor, Horváth ; Réka, Kovács
CodeChecker: A static analysis infrastructure built on the LLVM/Clang Static Analyzer toolchain (2018)
Poszter, CppCon, Country: United States of America,
Publication:30711667 Admin approved Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[30711667] [Admin approved]
18.
Gábor, Horváth ; Péter, Szécsi ; Zoltán, Gera ; Dániel, Krupp ; Norbert, Pataki
Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer
In: Árpád, Beszédes; Monika, Gupta (eds.) 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation SCAM 2018
Madrid, Spain : IEEE Computer Society (2018) pp. 171-176. , 6 p.
DOI IEEE Xplore WoS Scopus
Publication:30307362 Validated Core Citing Chapter in Book (Chapter ) Scientific
Citing papers: 13 | Independent citation: 5 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 10 | Number of citations with DOI: 11
Chapter (Chapter in Book) | Scientific[30307362] [Validated]
All citations+mentions: 13, External citations: 5, Self citations: 8, Unhandled citations: 0
19.
Gábor, Horváth ; Réka, Kovács ; Péter, Szécsi
Towards Proper Differential Analysis of Static Analysis Engine Changes
In: The 11th Conference of PhD Students in Computer Science : Volume of short papers CS2
Szeged, Hungary : Szegedi Tudományegyetem TTIK, Informatikai Intézet (2018) 203 p. pp. 75-78. , 4 p.
Publication:30307284 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[30307284] [Approved]
20.
Gábor, Horváth ; Attila, Páter-Részeg ; Norbert, Pataki
Detecting Misusages of the C++ Standard Template Library
In: Gábor, Kusper; Gergely, Kovásznai; Roland, Kunkli; Sándor, Király; Tibor, Tómács (eds.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Hungary : Eszterházy Károly Egyetem (2018) pp. 129-136. , 8 p.
DOI Teljes dokumentum
Publication:30307157 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 0 | Self citation: 2 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[30307157] [Approved]
All citations+mentions: 2, External citations: 0, Self citations: 2, Unhandled citations: 0
2024-05-22 11:44