Sporq: An Interactive Environment for Exploring Code Using Query-by-Example

Video

DOI

There has been widespread adoption of IDEs and powerful tools for program analysis. However, programmers still find it difficult to conveniently analyze their code for custom patterns. Such systems either provide inflexible interfaces or require knowledge of complex query languages and compiler internals. In this paper, we present \tool, a tool that allows developers to mine their codebases for a range of patterns, including bugs, code smells, and violations of coding standards. \tool{} offers an interactive environment in which the user highlights program elements, and the system responds by identifying other parts of the codebase with similar patterns. The programmer can then provide feedback which enables the system to rapidly infer the programmer's intent. Internally, our system is driven by high-fidelity relational program representations and algorithms to synthesize database queries from examples. Our experiments and user studies with a VS Code extension indicate that \tool{} reduces the effort needed by programmers to write custom analyses and discover bugs in large codebases.