11.
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
12.
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]
13.
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]
14.
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]
15.
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
16.
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 (2018) 203 p. pp. 75-78. , 4 p.
Publication:30307284 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[30307284] [Approved]
17.
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
18.
Babati, Bence ; Horváth, Gábor ; Májer, Viktor ; Pataki, Norbert
Static Analysis Toolset with Clang
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. 23-29. , 7 p.
DOI Teljes dokumentum
Publication:30307127 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 17 | Independent citation: 5 | Self citation: 12 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 10 | Number of citations with DOI: 11
Conference paper (Chapter in Book) | Scientific[30307127] [Approved]
All citations+mentions: 17, External citations: 5, Self citations: 12, Unhandled citations: 0
19.
Gábor, Horváth ; Norbert, Pataki
Transparent functors for the C++ Standard Template Library
CEUR WORKSHOP PROCEEDINGS 2046 pp. 96-101. , 6 p. (2018)
Scopus Teljes dokumentum
Publication:27079068 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 1 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[27079068] [Validated]
All citations+mentions: 4, External citations: 1, Self citations: 3, Unhandled citations: 0
20.
R, Kovacs ; G., Horvath
An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer
STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 63 : 2 pp. 88-101. , 14 p. (2018)
DOI EDIT
Publication:3389415 Validated Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[3389415] [Validated]
2024-05-02 02:15