TY - CHAP AU - Fülöp, Endre AU - Pataki, Norbert ED - William, Steingartner ED - Stefan, Korecko ED - Anikó, Szakál TI - Symbolic Execution with Finite State Automata T2 - 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings PB - Institute of Electrical and Electronics Engineers (IEEE) CY - Poprad SN - 9781728131788 PY - 2019 SP - 116 EP - 120 PG - 5 DO - 10.1109/Informatics47936.2019.9119287 UR - https://m2.mtmt.hu/api/publication/30932379 ID - 30932379 N1 - 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP Innovatív Informatikai és Infokommunikációs Megoldásokat Megalapozó Tematikus Kutatási Együttműködések LA - English DB - MTMT ER - TY - CHAP AU - Mészáros, Mónika AU - Cserép, Máté AU - Fekete, Anett ED - Marko, Koricic ED - Zeljko, Butkovic ED - Karolj, Skala ED - Zeljka, Car ED - Marina, Cicin-Sain ED - Snjezana, Babic ED - Vlado, Sruk ED - Dejan, Skvorc ED - Slobodan, Ribaric ED - Stjepan, Gros ED - Boris, Vrdoljak ED - Mladen, Mauher ED - Edvard, Tijan ED - Predrag, Pale ED - Darko, Huljenic ED - Tihana, Galinac Grbac ED - Matej, Janjic TI - Delivering comprehension features into source code editors through LSP T2 - 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) PB - Croatian Society for Information and Communication Technology Electronics and Microelectronics (MIPRO) CY - Rijeka SN - 9781538692967 PY - 2019 SP - 1581 EP - 1586 PG - 6 DO - 10.23919/MIPRO.2019.8756695 UR - https://m2.mtmt.hu/api/publication/30738594 ID - 30738594 AB - The maintenance of large, legacy software often results in higher development time and cost due to increasing size and complexity of the codebase and its documentation, their continuously eroding quality and fluctuation among developers. Code comprehension tools are designed to tackle this issue by providing various textual information, visualization views and source code metrics on multiple abstraction levels. These tools usually process not only the codebase, but also the build information, the version control repository and other available information sources. Meanwhile source code editors and integrated development environments (IDEs) are not performing well in the field of code comprehension as they are optimized for writing new code, not for effective browsing. This can easily result in frequent switching between environments during development, hindering effective programming and raising development cost. Language Server Protocol (LSP) is an open-source protocol to connect source code editors with servers that provide language-specific features. In this research we analyze how LSP can be utilized to improve the code comprehension experience inside code editors by integrating the features of such tools through remote procedure calls. As a prototype solution we showcase the integration of two open-source applications: Visual Studio Code and the CodeCompass code comprehension tool. LA - English DB - MTMT ER - TY - CHAP AU - Babati, Bence AU - Horváth, Gábor AU - Májer, Viktor AU - Pataki, Norbert ED - Kusper, Gábor ED - Kovásznai, Gergely ED - Kunkli, Roland Imre ED - Király, Sándor ED - Tómács, Tibor TI - Static Analysis Toolset with Clang T2 - Proceedings of the 10th International Conference on Applied Informatics PB - Eszterházy Károly Egyetem CY - Eger SN - 9786155621727 PY - 2018 SP - 23 EP - 29 PG - 7 DO - 10.14794/ICAI.10.2017.23 UR - https://m2.mtmt.hu/api/publication/30307127 ID - 30307127 LA - English DB - MTMT ER - TY - JOUR AU - Dorottya, Papp AU - Pataki, Norbert TI - Bypassing Memory Leak in Modern C++ Realm JF - ANNALES MATHEMATICAE ET INFORMATICAE J2 - ANN MATH INFORM VL - 48 PY - 2018 SP - 43 EP - 50 PG - 8 SN - 1787-5021 UR - https://m2.mtmt.hu/api/publication/30307099 ID - 30307099 LA - English DB - MTMT ER - TY - CHAP AU - Horváth, Gábor AU - Pataki, Norbert ED - Stefan, Marr ED - Eric, Jul TI - Source language representation of function summaries in static analysis T2 - Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PB - ACM Press CY - New York, New York SN - 9781450348379 PY - 2016 PG - 9 DO - 10.1145/3012408.3012414 UR - https://m2.mtmt.hu/api/publication/3170466 ID - 3170466 LA - English DB - MTMT ER - TY - JOUR AU - Porkoláb, Zoltán AU - Sinkovics, Ábel TI - Domain-specific language integration with compile-time parser generator library JF - ACM SIGPLAN NOTICES J2 - ACM SIGPLAN NOTICES VL - 46 PY - 2011 IS - 2 SP - 137 EP - 146 PG - 10 SN - 0362-1340 DO - 10.1145/1942788.1868315 UR - https://m2.mtmt.hu/api/publication/2743864 ID - 2743864 N1 - Admin megjegyzés-26841080 #JournalID1# Name: ACM SIGPLAN Notices ISSN: 1523-2867 #JournalID2# AB - Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The integration should cause minimal syntactical and semantic overhead and introduce minimal dependency on external tools. In this paper we discuss a DSL integration technique for the C++ programming language. The solution is based on compile-time parsing of the DSL code. The parser generator is a C++ template metaprogram reimplementation of a runtime Haskell parser generator library. The full parsing phase is executed when the host program is compiled. The library uses only standard C++ language features, thus our solution is highly portable. As a demonstration of the power of this approach, we present a highly efficient and type-safe version of printf and the way it can be constructed using our library. Despite the well known syntactical difficulties of C++ template metaprograms, building embedded languages using our library leads to self-documenting C++ source code. Copyright © 2010 ACM. LA - English DB - MTMT ER -