arrow
Return

SEAL: Integrating Program Analysis and Repository Mining

delete2023-07-24
delete3
delete
OA
AI
F
Florian Sattler *
S
Sebastian Böhm
P
Philipp Dominik Schubert
N
Norbert Siegmund
S
Sven Apel
DOI:10.1145/3585008delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Software projects are complex technical and organizational systems involving large numbers of artifacts and developers. To understand and tame software complexity, a wide variety of program analysis techniques have been developed for bug detection, program comprehension, verification, and more. At the same time, repository mining techniques aim at obtaining insights into the inner socio-technical workings of software projects at a larger scale. While both program analysis and repository mining have been successful on their own, they are largely isolated, which leaves considerable potential for synergies untapped. We present SEAL, the first integrated approach that combines low-level program analysis with high-level repository information. SEAL maps repository information, mined from the development history of a project, onto a low-level intermediate program representation, making it available for state-of-the-art program analysis. SEAL's integrated approach allows us to efficiently address software engineering problems that span multiple levels of abstraction, from low-level data flow to high-level organizational information. To demonstrate its merits and practicality, we use SEAL to determine which code changes modify central parts of a given software project, how authors interact (indirectly) with each other through code, and we demonstrate that putting static analysis' results into a socio-technical context improves their expressiveness and interpretability.
Keywords:
Static program analysis
software repository mining
socio-technical software analytics

Journal

A
ACM Transactions on Software Engineering and Methodology
IF:
6.2
Papers:
1.2K
Citations:
3.4K

Organization

L
Leipzig University
Scholars:
2.0W
Papers: 1.6W
Citations: 17
U
University of Paderborn
Scholars:
2.9K
Papers: 2.7K
Citations: 2