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 | 267 | 2021 |
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 | 108 | 2020 |
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 | 93 | 2022 |
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 | 64 | 2019 |
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 | 40 | 2022 |
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 | 3 | 2024 |
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 | 1 | 2024 |
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 UNSW Sydney, 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, ... | | |