Folgen
Fengjuan Gao
Titel
Zitiert von
Zitiert von
Jahr
Bovinspector: automatic inspection and repair of buffer overflow vulnerabilities
F Gao, L Wang, X Li
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
632016
Learning semantic program embeddings with graph interval neural network
Y Wang, K Wang, F Gao, L Wang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
622020
Demystifying code summarization models
Y Wang, F Gao, L Wang
arXiv preprint arXiv:2102.04625, 2021
152021
Learning a static bug finder from data
Y Wang, F Gao, L Wang, K Wang
arXiv preprint arXiv:1907.05579, 2019
152019
Carraybound: Static array bounds checking in c programs based on taint analysis
F Gao, T Chen, Y Wang, L Situ, L Wang, X Li
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 81-90, 2016
132016
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
Y Wang, F Gao, L Wang, T Yu, J Zhao, X Li
IEEE Transactions on Software Engineering 48 (1), 346-363, 2020
122020
Dangdone: Eliminating dangling pointers via intermediate pointers
Y Wang, F Gao, L Situ, L Wang, B Chen, Y Liu, J Zhao, X Li
Proceedings of the 10th Asia-Pacific Symposium on Internetware, 1-10, 2018
92018
Deep Learning-Based Hybrid Fuzz Testing.
F Gao, Y Wang, L Situ, L Wang
International Journal of Software & Informatics 11 (3), 2021
62021
Discrete adversarial attack to models of code
F Gao, Y Wang, K Wang
Proceedings of the ACM on Programming Languages 7 (PLDI), 172-195, 2023
52023
Automatic buffer overflow warning validation
FJ Gao, Y Wang, LZ Wang, Z Yang, XD Li
Journal of Computer Science and Technology 35, 1406-1427, 2020
42020
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.
F Gao, Y Wang, T Chen, L Situ, L Wang, X Li
Int. J. Softw. Informatics 11 (2), 121-147, 2021
2021
ACSPChecker: an ASP based CSP model checking tool
L Situ, Y Wang, F Gao, L Wang, L Bu, J Zhao, X Li
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 99-102, 2016
2016
For Research Only
F Gao, L Wang, X Li
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13