TY  - JOUR
AU  - Fülöp, Endre
AU  - Gyén, Attila
AU  - Pataki, Norbert
TI  - Monaco Support for an Improved Exception Specification in C++
JF  - TRANSACTIONS ON INTERNET RESEARCH- IPSI BGD
J2  - TRANS INTERNET RES
VL  - 19
PY  - 2023
IS  - 1
SP  - 24
EP  - 31
PG  - 8
SN  - 1820-4503
DO  - 10.58245/ipsi.tir.2301.05
UR  - https://m2.mtmt.hu/api/publication/33694652
ID  - 33694652
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Xu, Rulin
AU  - Mao, Xiaoguang
AU  - Xiao, Wei
TI  - Accelerating High-Precision Vulnerability Detection in C Programs with Parallel Graph Summarization
T2  - 2023 6th International Conference on Software Engineering and Computer Science (CSECS)
PB  - Institute of Electrical and Electronics Engineers (IEEE)
SN  - 9798350306378
PY  - 2023
SP  - 1
EP  - 6
PG  - 6
DO  - 10.1109/CSECS60003.2023.10428132
UR  - https://m2.mtmt.hu/api/publication/34733064
ID  - 34733064
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Xu, Rulin
AU  - Mao, Xiaoguang
AU  - Chen, Luohui
TI  - P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis
T2  - 2023 30th Asia-Pacific Software Engineering Conference (APSEC)
PB  - Institute of Electrical and Electronics Engineers (IEEE)
SN  - 9798350344172
PY  - 2023
SP  - 249
EP  - 258
PG  - 10
DO  - 10.1109/APSEC60848.2023.00035
UR  - https://m2.mtmt.hu/api/publication/34778144
ID  - 34778144
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Horváth, Gábor
TI  - Static Analyses for C++ in the Presence of Separate Compilation
PB  - Eötvös Loránd Tudományegyetem (ELTE)
PY  - 2021
SP  - 162
DO  - 10.15476/ELTE.2020.212
UR  - https://m2.mtmt.hu/api/publication/32644144
ID  - 32644144
LA  - English
DB  - MTMT
ER  -