Følg
Xiao Cheng
Titel
Citeret af
Citeret af
År
Deepwukong: Statically detecting software vulnerabilities using deep graph neural network
X Cheng, H Wang, J Hua, G Xu, Y Sui
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (3), 1-33, 2021
2622021
Flow2vec: Value-flow-based precise code embedding
Y Sui, X Cheng, G Zhang, H Wang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
1102020
Path-sensitive code embedding via contrastive learning for software vulnerability detection
X Cheng, G Zhang, H Wang, Y Sui
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
972022
Static detection of control-flow-related vulnerabilities using graph embedding
X Cheng, H Wang, J Hua, M Zhang, G Xu, L Yi, Y Sui
2019 24th International Conference on Engineering of Complex Computer …, 2019
652019
How about bug-triggering paths?-understanding and characterizing learning-based vulnerability detectors
X Cheng, X Nie, N Li, H Wang, Z Zheng, Y Sui
IEEE Transactions on Dependable and Secure Computing 21 (2), 542-558, 2022
422022
Precise Sparse Abstract Execution via Cross-Domain Interaction
X Cheng, J Wang, Y Sui
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
22024
Fast graph simplification for path-sensitive typestate analysis through tempo-spatial multi-point slicing
X Cheng, J Ren, Y Sui
Proceedings of the ACM on Software Engineering 1 (FSE), 494-516, 2024
12024
Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search
J Ren, Y Sui, X Cheng, Y Feng, J Zhao
ACM Transactions on Software Engineering and Methodology 33 (5), 1-29, 2024
2024
Refining and Scaling Path-Sensitive Abstract Execution
X Cheng
PQDT-Global, 2024
2024
Vulnerability Detection via Typestate-Guided Code Representation Learning
X Cheng
International Conference on Formal Engineering Methods, 291-297, 2023
2023
Doctoral Symposium Committee
N Ivaki, Y Sui, B Neto, F Aráujo, HM Win, I Medeiros, J Fonseca, ...
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–11