paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Mining input grammars from dynamic control flow

从动态控制流中挖掘输入文法
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10 · 该论文属于程序分析与测试方向，关注从动态控制流挖掘输入文法，虽与软件测试/漏洞分析相关，但并未涉及用户核心关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析。引用 59 inbox
Rahul Gopinath, Björn Mathis, Andreas Zeller
测试、调试与修复程序分析与抽象解释
crossref: 2026-09-12

AI 速览

一句话：提出从程序动态控制流中自动挖掘输入文法的方法，以获取缺失或过时的输入规范。

程序的输入规范是漏洞分析、逆向工程、软件测试、克隆检测和重构等任务的关键依据。然而，实际中大多数程序缺乏准确或最新的输入规范。该论文提出从程序的动态控制流中挖掘输入文法（input grammar），旨在自动恢复程序的输入规范。方法上，通过分析程序执行时的动态控制流来推断输入的结构。由于摘要未提供具体的技术细节与实验评估，本文速览仅能概述其问题动机与核心思路。

问题
程序的实际输入规范常常缺失或过时，而漏洞分析、逆向工程、软件测试、克隆检测和重构等任务又依赖准确的输入规范。
方法
论文提出从程序的动态控制流中挖掘输入文法，以自动推断输入的结构。
评估
摘要未描述评估方式；标题与摘要未提供实验细节。
原文摘要（Abstract）

One of the key properties of a program is its input specification. Having a formal input specification can be critical in fields such as vulnerability analysis, reverse engineering, software testing, clone detection, or refactoring. Unfortunately, accurate input specifications for typical programs are often unavailable or out of date.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot5787,
  title = {Mining input grammars from dynamic control flow},
  author = {Rahul Gopinath and Björn Mathis and Andreas Zeller},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409679}
}