paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Raisin: Identifying Rare Sensitive Functions for Bug Detection

Raisin:识别用于缺陷检测的稀有敏感函数
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 论文属于程序分析与缺陷检测,关注识别稀有敏感函数,但并未涉及用户核心关注的 LLM/Agent 与静态分析交叉、浮点程序分析或贝叶斯程序分析,仅与广义程序分析方向有较弱关联。引用 5 inbox
Jianjun Huang, Jianglei Nie, Yuanjun Gong, Wei You, Bin Liang, Pan Bian
crossref: 2026-09-12

AI 速览

一句话:提出 Raisin,旨在识别调用极少的稀有敏感函数,以支撑缺陷检测。

论文关注缺陷检测中的敏感函数识别问题。已有基于机器学习或自然语言处理/统计的自动化技术能够在大规模软件系统中识别易出错的敏感函数,但这类技术难以处理调用次数极少的稀有敏感函数;而稀有敏感函数同样可能引入缺陷。为此,论文提出 Raisin,目标是在该设定下有效识别稀有敏感函数,从而辅助缺陷检测。摘要仅阐述问题与动机,未给出 Raisin 的具体方法、实现细节和实验评估结果。

问题
现有统计/机器学习/自然语言处理技术难以识别大系统中调用次数极少的稀有敏感函数,而这些函数也可能引入缺陷。
方法
摘要未给出 Raisin 的具体方法;论文旨在解决稀有敏感函数的有效识别问题。
评估
摘要未提供实验评估信息。
原文摘要(Abstract)

Mastering the knowledge about the bug-prone functions (i.e., sensitive functions) is important to detect bugs. Some automated techniques have been proposed to identify the sensitive functions in large software systems, based on machine learning or natural language processing. However, the existing statistics-based techniques are not directly applicable to a special kind of sensitive functions, i.e., the rare sensitive functions, which have very few invocations even in large systems. Unfortunately, the rare ones can also introduce bugs. Therefore, how to effectively identify such functions is a problem deserving attention.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11449,
  title = {Raisin: Identifying Rare Sensitive Functions for Bug Detection},
  author = {Jianjun Huang and Jianglei Nie and Yuanjun Gong and Wei You and Bin Liang and Pan Bian},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639165}
}