我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：提出静态分析检测底层代码中的错误处理器，并利用函数同义词以少量示例挖掘错误处理规约。

系统软件中的错误处理逻辑通常深嵌于底层代码，其规约往往缺乏文档且难以自动恢复。本文提出一种从系统软件中挖掘错误处理规约的技术：首先设计静态分析，在低级代码中识别错误处理器（即负责处理错误返回路径的代码片段）；进而利用函数同义词（语义等价、命名不同的函数）来泛化挖掘结果，使得仅需少量支持示例即可推断出错误处理规约。该工作面向真实系统代码的低层特性，将规约挖掘问题转化为错误处理器检测与同义词辅助泛化的组合，为自动获取错误处理契约提供了新途径。摘要未报告具体实验评估，仅以技术展示的形式说明其可行性。

问题

系统软件中的错误处理规约大量隐含在底层代码里，缺乏显式文档，难以被自动获取和复用。

方法

提出一种静态分析，在低级代码中检测错误处理器；并借助函数同义词，从少量支持示例中泛化挖掘出错误处理规约。

评估

摘要未详述实验评估，仅说明该技术能够检测错误处理器，并展示函数同义词在少量示例下挖掘规约的可行性。

链接与引用

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

@inproceedings{paperbot4650,
  title = {Mining error-handling specifications for systems software},
  author = {Daniel DeFreez},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3275440}
}