paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components

CNEPS:一种精确检查第三方 C/C++ 开源组件间依赖的方法
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 该论文属于传统程序分析/抽象解释在 C/C++ 第三方组件依赖识别中的应用,与用户关注的 PL→AI(ML/Agentic 程序静态分析)、AI→PL(LLM 改进静态分析/形式化验证)、浮点程序分析及贝叶斯程序分析等核心方向没有直接交集。不过其问题驱动、依赖分析与工程工具属性,与用户对程序分析和工业落地的泛化兴趣有较弱关联。引用 16 inbox
Yoonjong Na, Seunghoon Woo, Joomyeong Lee, Heejo Lee
crossref: 2026-09-12

AI 速览

一句话:针对第三方 C/C++ 开源组件依赖识别中不可区分文件与重复组件的难题,提出精确方法 CNEPS。

随着开源软件复用增加,第三方组件之间形成复杂依赖,对精确依赖分析的需求上升。然而,复用文件中存在难以确定其来源组件的“不可区分文件”,加之重复组件,使得精确识别组件依赖变得困难。本文提出 CNEPS,一种面向第三方 C/C++ 开源组件依赖检查的精确方法,目标是在上述不可区分文件和重复组件存在时仍能准确检查组件间依赖。摘要仅说明问题与动机,未提供具体技术路线、实现细节或实验评估结果。

问题
第三方 C/C++ 开源组件依赖日益复杂,但不可区分文件与重复组件使精确识别组件依赖变得困难。
方法
提出 CNEPS 方法,从标题可知用于精确检查第三方 C/C++ 开源组件间依赖;摘要未展开具体技术细节。
评估
摘要未给出评估方式与结果。
原文摘要(Abstract)

The rise in open-source software (OSS) reuse has led to intricate dependencies among third-party components, increasing the demand for precise dependency analysis. However, owing to the presence of reused files that are difficult to identify the originating components (i.e., indistinguishable files) and duplicated components, precisely identifying component dependencies is becoming challenging.

链接与引用

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

BibTeX
@inproceedings{paperbot11372,
  title = {CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components},
  author = {Yoonjong Na and Seunghoon Woo and Joomyeong Lee and Heejo Lee},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639209}
}