Gábor Horváth et al. Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. (2018) Megjelent: 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation SCAM 2018 pp. 171-176, 30307362
Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[30307362]
  1. * Gábor Horváth et al. Categorization of C++ Classes for Static Lifetime Analysis. (2019) Megjelent: Proceedings of the 9th Balkan Conference on Informatics - BCI'19
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30796594] [Admin láttamozott]
    Függő, Idéző: 30796594, Kapcsolat: 28296516
  2. * Horváth Gábor. Retaining semantic information in the static analysis of real-world software. (2019) Megjelent: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: So... pp. 32-34
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30846360] [Admin láttamozott]
    Függő, Idéző: 30846360, Kapcsolat: 28354802
  3. Maan Nikhil et al. Parsing C and Fortran code to SymPy Expressions. (2020) Megjelent: 2020 10th International Conference on Cloud Computing, Data Science & Engineering (Confluence) pp. 592-597
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[31281702] [Nyilvános]
    Független, Idéző: 31281702, Kapcsolat: 28955015
  4. * Endre Fülöp et al. Comprehensive Evaluation of Cross Translation Unit Symbolic Execution. (2020) Megjelent: Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) pp. 105-113
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[31398288] [Admin láttamozott]
    Függő, Idéző: 31398288, Kapcsolat: 29098162
  5. Szalay Richárd et al. Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++. (2021) JOURNAL OF SYSTEMS AND SOFTWARE 0164-1212 181 2021
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[32112966] [Egyeztetett]
    Független, Idéző: 32112966, Kapcsolat: 30237549
2022-01-25 18:53