从解析器实现推断带属性的语法-计算机科学-属性语法挖掘-语义动作提取-程序分析.pdfVIP

从解析器实现推断带属性的语法

AndreasPointnerJosefPichler

AdvancedInformationSystemsandTechnologyDepartmentforSoftwareEngineering

UniversityofAppliedSciencesUniversityofAppliedSciences

UpperAustria,CampusHagenbergUpperAustria,CampusHagenberg

Softwarepark11Softwarepark11

4232Hagenbergi.M.,Austria4232Hagenbergi.M.,Austria

Email:andreas.pointner@fh-hagenberg.atEmail:josef.pichler@fh-hagenberg.at

HerbertPrähofer

InstitutforSystemSoftware

JohannesKeplerUniversityLinz

本AltenbergerStraße69

译4040Linz,Austria

中Email:herbert.praehofer@jku.at

1

v

7

1摘要—处理结构化输入的软件系统往往缺乏完整和必威体育精装版的了如何识别输入以及如何处理输入。带属性的语法因此

1

3规范，这些规范指定了输入语法和输入处理语义。虽然语法挖掘可以作为解析程序的精确和正式规范。

1技术已经集中在恢复句法结构上，但输入处理的语义仍然很大程

.对于许多现有的系统而言，这样的带属性文法并不

7度上未被探索。在本研究中，我们介绍了一种从解析器实现推断

0属性文法的新方法。给定一个输入文法，我们的技术动态分析递可用。虽然有一些工作试图通过语法挖掘技术来恢复句

5归下降解析器的实现以重构输入处理的语义方面，从而生成形式法文法[4]，但这些工作的重点仅在于重构输入语言的

2

:为属性文法的规范。通过观察程序执行并将程序的运行时行为映结构部分。语法挖掘是一个研究得相当充分的问题，并

v

i射到文法，我们系统地提取并嵌入语义动作到文法规则中。这使且假设解析遵循某种风格，最常见的就是递归下降解

x

r得全面恢复规范成为可能。我们使用一组初始程序证明了该方法析。诸如Mimid[5]和Autogram[6]等工具已经证明了

a

的可行性，表明它可以通过生成的属性文法准确再现程序行为。

这类技术可以从实际软件中提取出上下文无关文法。

IndexTerms—属性语法挖掘、规范挖掘、语义动作提取、

我们的方法基于现有的句法语法，假设已经存在一

程序分析

种语法。我们提出了一种新方法，通过分析递归下降解

析器的实现、在其生成的输入上执行它们并将运行时行

I.介绍

为映射到语法规则元素来自动推导出属性文法。这将产

处理结构化输入（如配置文件、特定领域语言或通生完整的属性文法，捕捉语法和语义，使得之前不存在

信协议）的软件系统通常使用基于上下文无关语法的解的形式定义的可执行规范成为可能。

析器来定义有效的语法规则。然而，实际世界的解析器