Lingyun Situ
Lingyun Situ
在 nju.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Vanguard: Detecting missing checks for prognosing potential vulnerabilities
L Situ, L Wang, Y Liu, B Mao, X Li
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 1-10, 2018
82018
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
Energy distribution matters in greybox fuzzing
L Situ, L Wang, X Li, L Guan, W Zhang, P Liu
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
32019
The correlation between author-editorial cooperation and the author’s publications in journals
T Zhang, J Shi, L Situ
Journal of Informetrics 15 (1), 101123, 2020
22020
CSP bounded model checking of preprocessed CTL extended with events using answer set programming
L Situ, L Zhao
2015 Asia-Pacific Software Engineering Conference (APSEC), 16-23, 2015
22015
基于应用视角的缓冲区溢出检测技术与工具
司徒凌云, 王林章, 李宣东, 刘杨
软件学报 30 (6), 1721-1741, 2019
12019
Detecting missing checks for identifying insufficient attack protections
L Situ, L Zou, L Wang, Y Liu, B Mao, X Li
Proceedings of the 40th International Conference on Software Engineering …, 2018
12018
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
物联网固件安全缺陷检测研究进展
张弛, 司徒凌云, 王林章
信息安全学报 6 (3), 141-158, 2021
2021
Vulnerable Region-Aware Greybox Fuzzing
L Situ, Z Zuo, L Guan, L Wang, X Li, J Shi, P Liu
计算机科学技术学报, 1, 2021
2021
垂悬指针检测与防御方法
王豫, 高凤娟, 马可欣, 司徒凌云, 王林章, 陈碧欢, 刘杨, 赵建华, 李宣东
软件学报 31 (6), 1600-1618, 2020
2020
验证缺失的自动化检测与修复推荐
LY Situ
计算机科学技术学报 34 (5), 972-992, 2019
2019
Automatic Detection and Repair Recommendation for Missing Checks
L Situ, L Wang, Y Liu, B Mao, X Li
Journal of Computer Science and Technology 34 (5), 972-992, 2019
2019
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
系统目前无法执行此操作,请稍后再试。
文章 1–15