paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Exploiting Library Vulnerability via Migration Based Automating Test Generation

通过基于迁移的自动化测试生成利用库漏洞
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 论文关注第三方库漏洞影响评估与自动化测试生成,属于软件安全/测试方向,虽提及静态分析的误报问题,但并非研究静态分析本身,也未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析。与用户当前以LLM/Agent和程序分析交叉为核心的研究方向匹配度低。引用 11 inbox
Zirui Chen, Xing Hu, Xin Xia, Yi Gao, Tongtong Xu, David Lo, Xiaohu Yang
crossref: 2026-09-12

AI 速览

一句话:提出基于迁移的自动化测试生成方法,帮助项目判断是否受第三方库漏洞影响。

第三方库在软件开发中被广泛复用,但当新库漏洞披露时,项目维护者必须判断自身项目是否受影响,这通常需要大量人工评估。现有方法各有局限:静态分析工具容易产生误报,动态分析依赖已有测试,而测试生成工具在复杂漏洞上成功率低。针对这一问题,本文提出一种基于迁移的自动化测试生成方法,旨在自动构造能够暴露库漏洞影响的测试,从而辅助项目维护者判定受影响情况。摘要未报告具体实现细节与实验数值;其核心思路是把迁移机制用于测试生成,以缓解复杂漏洞下测试生成困难的问题。

问题
第三方库漏洞披露后,维护者难以判断项目是否受影响;现有静态分析误报、动态分析缺测试、测试生成对复杂漏洞成功率低。
方法
提出基于迁移的自动化测试生成方法,自动生成测试以确认库漏洞对项目的影响(具体迁移机制摘要未展开)。
评估
摘要未说明评估方式与结果;需在第三方库漏洞场景下验证测试生成的有效性,并与现有静态/动态工具对照。
原文摘要(Abstract)

In software development, developers extensively utilize third-party libraries to avoid implementing existing functionalities. When a new third-party library vulnerability is disclosed, project maintainers need to determine whether their projects are affected by the vulnerability, which requires developers to invest substantial effort in assessment. However, existing tools face a series of issues: static analysis tools produce false alarms, dynamic analysis tools require existing tests and test generation tools have low success rates when facing complex vulnerabilities.

链接与引用

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

BibTeX
@inproceedings{paperbot11310,
  title = {Exploiting Library Vulnerability via Migration Based Automating Test Generation},
  author = {Zirui Chen and Xing Hu and Xin Xia and Yi Gao and Tongtong Xu and David Lo and Xiaohu Yang},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639583}
}