Publications

Books

  • 物联网软件漏洞检测技术
    by 司徒凌云
    in 光明日报出版社, 2021.09. ISBN: 978-7-5194-6294-9.

Papers

  • 智能化基础软件可信构造和供应链安全专题前言
    by 王林章, 司徒凌云*, 钟浩, 向剑文, 张路.
    in 软件学报, 2026, 37(7):2691-2693.

  • Collaborating with Program Committee Members: Effects on Publications in Leading Security Conferences
    by Mingye Niu, Lingyun Situ*, Jin Shi.
    in Scientometrics, 2026, 131(3):1827–1845.

  • Identification of Important Software based on Software Dependency Graph
    by Xiaotong Hu, Ziwei Chen, Lingyun Situ*, Xuelian Pan, Jin Shi.
    in Scientometrics, 2025, 130:3961–3985.

  • 面向细分领域的大语言模型微调构建综述
    by 陶泽华, 司徒凌云*, 沈固朝.
    in 情报杂志, 2025, 44(12):145-154.

  • Identifying Hidden Vulnerability Contributing Commits based on Ensemble Learning
    by Yuanyuan Zhai, Ziwei Chen, Lingyun Situ*, Shijie Guo.
    in Journal of Command and Control, 2025, 4(1):23-34.

  • Risk Assessment and Categorization of Terrorist Attacks based on the Global Terrorism Database from 1970 to 2020
    by Zonghuang Xu, Yao Lin, Hongyu Cai, Wei Zhang, Jin Shi, Lingyun Situ.
    in Humanities and Social Sciences Communications, 2024, 11:1103.

  • 多模态南海疆维权证据本体模型构建
    by 司徒凌云, 孙鹤, 石进, 沈固朝.
    in 情报杂志, 2024, 43(4):78-88. 第八届华山情报论坛优秀论文一等奖

  • Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
    by Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi.
    in IEEE Internet of Things Journal, 2023, 10(23):20718-20734.

  • A Study on the Election Factors of an ACM Fellow based on the Co-authorship Relations
    by Hailing Zhou, Xiaole Li, Jin Shi, Ming Li, Lingyun Situ.
    in Malaysian Journal of Library & Information Science, 2023, 28(2):1–27.

  • 面向南海叙事的事件要素自动抽取方法研究
    by 程为, 司徒凌云*, 郑德俊, 王燕红, 石进.
    in 情报科学, 2023, 41(03):155-163.

  • 基于证明力大小的南海疆维权证据关联初探
    by 王燕红, 司徒凌云*, 杨海平, 石进.
    in 图书情报工作, 2022, 66(18):94-104.

  • 基于第三人效应的微博隐私悖论产生路径研究
    by 司徒凌云, 李益婷, 石进.
    in 情报杂志, 2022, 41(12):89-97.

  • 中外院士的行政职级差异比较研究——以中美英科学院为例
    by 李小乐, 苗杰, 石进, 司徒凌云.
    in 情报杂志, 2022, 41(08):185-193.

  • 基于知识图谱的书证目录知识发现研究——以南海书证目录为例
    by 王燕红, 司徒凌云*, 杨海平, 程为.
    in 情报杂志, 2022, 41(03):173-180.

  • Vulnerable Region-Aware Greybox Fuzzing
    by Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu.
    in Journal of Computer Science and Technology, 2021, 36(5):1212-1228.

  • The Correlation between Author-editorial Cooperation and the Author’s Publications in Journals
    by Tianjiao Zhang, Jin Shi, Lingyun Situ.
    in Journal of Informetrics, 2021, 15(1):101123.

  • 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 International Journal of Software and Informatics, 2021, 11(2):121-147.

  • 基于多模态知识图谱的南海疆维权证据链系统构建
    by 司徒凌云, 石进, 杨海平, 沈固朝.
    in 情报杂志, 2021, 40(12):23-29+44.

  • 物联网固件安全缺陷检测研究进展
    by 张弛, 司徒凌云, 王林章.
    in 信息安全学报, 2021, 6(03):141-158.

  • 基于深度学习的混合模糊测试方法
    by 高凤娟, 王豫, 司徒凌云, 王林章.
    in 软件学报, 2021, 32(4):988-1005.

  • 智能目录构建与发展研究
    by 郑杨, 石进, 司徒凌云, 李明.
    in 图书馆学研究, 2021, (17):47-56.

  • 基于污点分析的数组越界缺陷的静态检测方法
    by 高凤娟, 王豫, 陈天娇, 司徒凌云, 王林章, 李宣东.
    in 软件学报, 2020, 31(10):2983–3003.

  • 垂悬指针检测与防御方法
    by 王豫, 高凤娟, 马可欣, 司徒凌云, 王林章, 陈碧欢, 刘杨, 赵建华, 李宣东.
    in 软件学报, 2020, 31(6):1600-1618.

  • Automatic Detection and Repair Recommendation for Missing Check
    by Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li.
    in Journal of Computer Science and Technology, 2019, 34(5):972–992.

  • Energy Distribution Matters in Greybox Fuzzing
    by Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu.
    in Proceedings of the 41st International Conference on Software Engineering. May 25-31, 2019, Montréal, QC, Canada.

  • 基于应用视角的缓冲区溢出检测技术与工具
    by 司徒凌云, 王林章, 李宣东, 刘杨.
    in 软件学报, 2019, 30(6):1721-1741.

  • 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. Sep 16, 2018, Beijing, China. Best Paper Award

  • 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. May 27-Jun 3, 2018, Gothenburg, Sweden.

  • CSP Bounded Model Checking of Preprocessed CTL Extended with Events using Answer Set Programming
    by Lingyun Situ, Linzhong Zhao.
    in Proceedings of the 22nd Asia-Pacific Software Engineering Conference. Dec 1-4, 2015, New Delhi, India.

Patents

  • 基于静态分析与LLM的TS开源软件度量与选型方法
    by 司徒凌云, 段庸，殷宇航，刘宇.
    中国发明专利. No. 202610984232.8.

  • 一种系统调用依赖关系驱动的内核模糊测试方法
    by 司徒凌云, 林瑞杰.
    中国发明专利. No. 202511077317.X.

  • 基于静态分析与大语言模型的开源软件功能性度量方法
    by 司徒凌云, 胡晓通, 柴晓琪, 段庸.
    中国发明专利. No. 2025106809323.

  • 一种基于深度学习的隐匿漏洞投毒补丁识别方法
    by 司徒凌云, 翟沅媛, 陈耔为, 宁强.
    中国发明专利. No. 202410155366.X.

  • 一种基于SZZ的漏洞投毒补丁数据收集方法
    by 司徒凌云, 陈耔为.
    中国发明专利. No. 202410170077.7.

  • 一种基于互补度的并行化模糊测试方法
    by 司徒凌云, 胡晓通, 陶泽华, 陈耔为.
    中国发明专利. No. ZL202311514601.X.

  • 一种基于软件依赖图谱的重要软件识别方法
    by 司徒凌云, 胡晓通, 陈耔为.
    中国发明专利. No. 202311013204.4.

  • 一种基于Twitter的漏洞利用情报感知与抽取方法
    by 司徒凌云, 林瑞杰, 陶泽华.
    中国发明专利. No. 202311013207.8.

Software Copyrights

  • 操作系统定向模糊测试软件
    by 南京大学（司徒凌云, 李和煦, 冯国豪, 林瑞杰, 顾龙）
    中国计算机软件著作权，No. 2022SR0060512.

  • 面向南海疆领域维权的多模态证据链系统
    by 司徒凌云, 熊子慧, 李欣, 杨薇.
    中国计算机软件著作权，No. 2022SR1242258.

  • 面向细分领域的智能目录系统
    by 南京大学（司徒凌云, 胡文倩, 肖娜莉, 李戴昕, 顾江唯, 邱梓航）
    中国计算机软件著作权，No. 2022SR0060511.