Publications

[DBLP][Google Scholar]

  • Vulnerable Region-Aware Greybox Fuzzing
    by Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu.
    accepted to the Journal of Computer Science and Technology (JCST'21), 2021.
    [CCF-B] [DOI] [PDF] [Code]

  • Research Progress on Security Defect Detection of IoT Firmware
    by Chi Zhang, Lingyun Situ, Linzhang Wang.
    In Journal of Cyber Security (JCS'21), 2021,6(03):141-158 (in Chinese).
    [CCF-B] [DOI] [PDF]

  • Deep Learning-based Hybrid Fuzz Testing
    by Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang.
    In Journal of Software (JOS'21), 2021, 32(4):988-1005 (in Chinese).
    [CCF-A] [DOI] [PDF]

  • The Correlation Between Author-editorial Cooperation and The Author’s Publications in Journals
    by Tianjiao Zhang, Jin Shi, Lingyun Situ.
    In Journal of Informetrics (JOI'21). 2021,15(1):101123.
    [FMS-B] [DOI] [PDF]

  • Static Checking of Array Index out of Bounds Defects in C Programs based on Taint Analysis
    by Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li.
    In Journal of Software (JOS'20). 2020, 31(10):2983–3003 (in Chinese).
    [CCF-A] [DOI] [PDF]

  • Detecting and Preventing Dangling Pointers
    by Yu Wang, Fengjuan Gao, Kexin Ma, Lingyun Situ, Linzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li.
    In Journal of Software (JOS'20). 2020, 31(6):1600-1618 (in Chinese).
    [CCF-A] [DOI] [PDF]

  • Automatic Detection and Repair Recommendation for Missing Check
    by Lingyun Situ, Linzhanag Wang, Yang Liu, Bing Mao, Xuandong Li.
    In Journal of Computer Science and Technology (JCST'19). 2019, 34(5):972–992.
    [CCF-B] [DOI] [PDF] [Code]

  • Energy Distribution Matters in Greybox Fuzzing
    by Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu.
    In Proceedings of the 41th International Conference on Software Engineering (ICSE'19). May 25-31, 2019, Montréal, QC, Canada.
    [CCF-A] [DOI] [PDF]

  • Buffer Overflow Detection Techniques And Tools based on Application Perspective
    by Lingyun Situ, Linzhang Wang, Xuandong Li, Yang Liu.
    In Journal of Software (JOS'19). 2019, 30(6):1721-1741 (in Chinese).
    [CCF-A] [DOI] [PDF]

  • Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities
    by Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li.
    In Proceedings of the 10th Asia-Pacific Symposium on Internetware (Internetware'18). Sep 16, 2018, Beijing, China.
    [Best Paper Award] [DOI] [PDF]

  • Poster: Detecting Missing Checks for Identifying Insufficient Attack Protections
    by Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li.
    In Proceedings of the 40th International Conference on Software Engineering (ICSE'18). May 27 - Jun 3, 2018, Gothenburg, Sweden.
    [CCF-A] [DOI] [PDF]

  • ACSPChecker: An ASP based CSP Model Checking Tool
    by Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li.
    In Proceedings of the 8th Asia-Pacific Symposium on Internetware (Internetware'16). Sep 18, 2016, Beijing, China.
    [DOI] [PDF]

  • CSP Bounded Model Checking of Preprocessed CTL Extended with Events using Answer Set Programming
    by Lingyun Situ, Linzhong Zhao.
    In Proceeedings of the 22nd Asia-Pacific Software Engineering Conference (APSEC'15). Dec 1-4, 2015, New Delhi, India.
    [CCF-C] [DOI] [PDF]

Invited Talks