Παρακολούθηση
Xiao Cheng
Xiao Cheng
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unsw.edu.au - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2672021
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
1082020
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
932022
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
642019
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
402022
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
32024
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
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, ...
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–11