Symbolic Execution to Detect Semantic Merge Conflicts

Onderzoeksoutput: Conference paper

73 Downloads (Pure)

Samenvatting

Collaborative software development depends on managing multiple versions of a program which requires mechanisms to merge program versions to eventually deploy a single executable. Merging program versions can be challenging as conflicts can arise. The most challenging form is a semantic conflict, which introduces unintended behaviour in the resulting executable while merging.

In this paper, we develop an approach that detects such semantic merge conflicts by symbolic execution. We define the program semantics as path conditions, produced by a symbolic executor, and check whether the conditions satisfy established rules that reflect a merge conflict. Our usage of symbolic execution to check these rules is novel. We evaluate the correctness of our approach through mutation testing, and evaluate it empirically by applying the approach to real-world merges sampled from GitHub. We also discuss what challenges arise in the empirical evaluation, including the problems i) that semantic merge conflicts are rare in the wild, ii) and, even in retrospection, hard to find using standard search mechanisms. Our evaluation shows that in specific cases, our approach using symbolic execution is a promising extension to existing mechanisms to merge conflict detection.
Originele taal-2English
Titel23rd IEEE International Working Conference on Source Code Analysis and Manipulation
RedacteurenLeon Moonen, Christian Newman, Alessandra Gorla
Pagina's186-197
Aantal pagina's12
ISBN van elektronische versie979-8-3503-0506-7
DOI's
StatusPublished - okt 2023
Evenement23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2023) - Bogotá, Colombia
Duur: 2 okt 20233 okt 2023
Congresnummer: 23
https://www.ieee-scam.org/2023/

Publicatie series

NaamProceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023

Conference

Conference23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2023)
Verkorte titelSCAM
Land/RegioColombia
StadBogotá
Periode2/10/233/10/23
Internet adres

Bibliografische nota

Publisher Copyright:
© 2023 IEEE.

Vingerafdruk

Duik in de onderzoeksthema's van 'Symbolic Execution to Detect Semantic Merge Conflicts'. Samen vormen ze een unieke vingerafdruk.

Citeer dit