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 | 65 | 2016 |
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 | 64 | 2020 |
Demystifying code summarization models Y Wang, F Gao, L Wang arXiv preprint arXiv:2102.04625, 2021 | 15 | 2021 |
Learning a static bug finder from data Y Wang, F Gao, L Wang, K Wang arXiv preprint arXiv:1907.05579, 2019 | 15 | 2019 |
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 | 13 | 2016 |
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 | 12 | 2020 |
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 | 9 | 2018 |
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 | 6 | 2023 |
Deep Learning-Based Hybrid Fuzz Testing. F Gao, Y Wang, L Situ, L Wang International Journal of Software & Informatics 11 (3), 2021 | 6 | 2021 |
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 | 4 | 2020 |
For Research Only Z Guo, K Chen, H Wei | | 2022 |
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 |