paperbot · PL 论文追踪

全部论文 待读 收藏

P2 STraceBERT: Source Code Retrieval using Semantic Application Traces

STraceBERT:利用语义应用踪迹的源代码检索
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10 · 论文属于 ML4PL 范畴(用 BERT 风格模型处理程序分析中记录的调用踪迹),但核心任务是逆向工程中的源代码检索,使用的是动态分析踪迹而非用户关注的静态分析、浮点程序分析或贝叶斯程序分析,也不涉及 LLM/Agent 与程序分析的交叉,唯一的相关性在于“机器学习应用于程序语言”这一宽泛标签。引用 0 inbox
Claudio Spiess
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 STraceBERT,用 Java 动态分析记录的库调用踪迹预训练 BERT 风格模型,实现从候选集中检索方法源代码。

软件逆向工程是软件工程与安全领域的重要任务,但面对对抗性构件时过程尤为困难,其中从候选集中定位方法源代码是关键挑战。本文提出 STraceBERT:先利用 Java 动态分析工具记录程序对核心 Java 库的调用,得到语义应用踪迹(semantic application traces),再在此类踪迹上预训练一个 BERT 风格模型,用于方法源代码检索。实验将 STraceBERT 与现有方法进行对比,结果表明其在源代码检索任务上更为有效。该工作为软件逆向工程中的代码检索问题提供了一条有前景的技术路线,也为该方向的后续研究开辟了新的空间。

问题
在软件逆向工程(尤其是对抗性构件)中,如何从候选集中准确检索出目标方法的源代码仍十分困难。
方法
用 Java 动态分析工具记录对核心 Java 库的调用形成语义应用踪迹,并基于这些踪迹预训练 BERT 风格模型来完成方法源代码检索。
评估
通过实验将 STraceBERT 与已有方法进行比较,在源代码检索任务上取得了更优的效果。
原文摘要(Abstract)

Software reverse engineering is an essential task in software engineering and security, but it can be a challenging process, especially for adversarial artifacts. To address this challenge, we present STraceBERT, a novel approach that utilizes a Java dynamic analysis tool to record calls to core Java libraries, and pretrain a BERT-style model on the recorded application traces for effective method source code retrieval from a candidate set. Our experiments demonstrate the effectiveness of STraceBERT in retrieving the source code compared to existing approaches. Our proposed approach offers a promising solution to the problem of code retrieval in software reverse engineering and opens up new avenues for further research in this area.

链接与引用

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

BibTeX
@inproceedings{abs-2312-04731,
  title = {STraceBERT: Source Code Retrieval using Semantic Application Traces},
  author = {Claudio Spiess},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3617852}
}