Fengjuan Gao
Fengjuan Gao
在 smail.nju.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
302016
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
92020
Learning a static bug finder from data
Y Wang, F Gao, L Wang, K Wang
arXiv preprint arXiv:1907.05579, 2019
92019
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
72016
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 Tenth Asia-Pacific Symposium on Internetware, 1-10, 2018
42018
Demystifying code summarization models
Y Wang, F Gao, L Wang
arXiv preprint arXiv:2102.04625, 2021
22021
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
W Yu, F Gao, L Wang, T Yu, J Zhao, X Li
IEEE Transactions on Software Engineering, 2020
12020
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
International Journal of Software and Informatics 11 (2), 121-147, 2021
2021
Automatic Buffer Overflow Warning Validation
FJ Gao, Y Wang, LZ Wang, Z Yang, XD Li
Journal of Computer Science and Technology 35 (6), 1406-1427, 2020
2020
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
系统目前无法执行此操作,请稍后再试。
文章 1–11