Sporq: 使用示例查询的交互式代码探索环境

视频

DOI

IDE 和强大的程序分析工具已被广泛采用。然而，程序员仍然发现难以方便地分析自定义模式的代码。这类系统要么提供不灵活的接口，要么需要复杂查询语言和编译器内部机制的知识。在本文中，我们提出了 Sporq 工具，允许开发者挖掘代码库中的各种模式，包括 bug、代码异味和编码规范违反。Sporq 提供交互式环境，用户高亮程序元素，系统响应识别代码库中具有相似模式的其他部分。程序员可提供反馈，使系统能够快速推断程序员的意图。在内部，我们的系统由高保真关系程序表示和从示例合成数据库查询的算法驱动。我们使用 VS Code 扩展进行的实验和用户研究表明，Sporq 减少了程序员编写自定义分析和发现大型代码库中 bug 所需的工作量。