11.
Gábor, Horváth ; Norbert, Pataki
Predicting bugs using symbolic execution graph
In: Theodore, Simos; Charalambos, Tsitouras (szerk.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), Amerikai Egyesült Államok : American Institute of Physics (AIP) (2019) Paper: 350003 , 4 p.
DOI WoS Scopus Egyéb URL ADS
Közlemény:30746432 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[30746432] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 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
Közlemény:31610885 Nyilvános Forrás Egyéb (Segédlet ) Tudományos
Segédlet (Egyéb) | Tudományos[31610885] [Nyilvános]
13.
Horvath, Gabor ; Kovacs, Reka ; Péter, Szécsi
Clang Static Analyzer Test Bench: https://github.com/Xazax-hun/csa-testbench
(2018
Közlemény:31162283 Nyilvános Forrás Alkotás (Számítógépes program ) Műszaki
Számítógépes program (Alkotás) | Műszaki[31162283] [Nyilvános]
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, Megjelenés: Amerikai Egyesült Államok,
Közlemény:30711667 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[30711667] [Admin láttamozott]
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 (szerk.) 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation SCAM 2018
Madrid, Spanyolország : IEEE Computer Society (2018) pp. 171-176. , 6 p.
DOI IEEE Xplore WoS Scopus
Közlemény:30307362 Egyeztetett Forrás Idéző Könyvrészlet (Könyvfejezet ) Tudományos
Nyilvános idéző összesen: 13 | Független: 5 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 8 | WoS/Scopus jelölt: 10 | DOI jelölt: 11
Könyvfejezet (Könyvrészlet) | Tudományos[30307362] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 5, Függő: 8, Nem jelölt: 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, Magyarország (2018) 203 p. pp. 75-78. , 4 p.
Közlemény:30307284 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[30307284] [Nyilvános]
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 (szerk.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Magyarország : Eszterházy Károly Egyetem (2018) pp. 129-136. , 8 p.
DOI Teljes dokumentum
Közlemény:30307157 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[30307157] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 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 (szerk.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Magyarország : Eszterházy Károly Egyetem (2018) pp. 23-29. , 7 p.
DOI Teljes dokumentum
Közlemény:30307127 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 17 | Független: 5 | Függő: 12 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 10 | WoS/Scopus jelölt: 10 | DOI jelölt: 11
Konferenciaközlemény (Könyvrészlet) | Tudományos[30307127] [Nyilvános]
Nyilvános idéző összesen: 17, Független: 5, Függő: 12, Nem jelölt: 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
Közlemény:27079068 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[27079068] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 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
Közlemény:3389415 Egyeztetett Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[3389415] [Egyeztetett]
2024-04-19 06:41