SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909990414974976 |
|---|---|
| author | Zaman, Tarannum Shaila Yan, Zhihui Wang, Chen Islam, Chadni Shi, Jiangfan Yu, Tingting |
| author_facet | Zaman, Tarannum Shaila Yan, Zhihui Wang, Chen Islam, Chadni Shi, Jiangfan Yu, Tingting |
| contents | Reproducing system-level concurrency bugs requires both input data and the precise interleaving order of system calls. This process is challenging because such bugs are non-deterministic, and bug reports often lack the detailed information needed. Additionally, the unstructured nature of reports written in natural language makes it difficult to extract necessary details. Existing tools are inadequate to reproduce these bugs due to their inability to manage the specific interleaving at the system call level. To address these challenges, we propose SysPro, a novel approach that automatically extracts relevant system call names from bug reports and identifies their locations in the source code. It generates input data by utilizing information retrieval, regular expression matching, and the category-partition method. This extracted input and interleaving data are then used to reproduce bugs through dynamic source code instrumentation. Our empirical study on real-world benchmarks demonstrates that SysPro is both effective and efficient at localizing and reproducing system-level concurrency bugs from bug reports. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_09616 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | SysPro: Reproducing System-level Concurrency Bugs from Bug Reports Zaman, Tarannum Shaila Yan, Zhihui Wang, Chen Islam, Chadni Shi, Jiangfan Yu, Tingting Software Engineering Reproducing system-level concurrency bugs requires both input data and the precise interleaving order of system calls. This process is challenging because such bugs are non-deterministic, and bug reports often lack the detailed information needed. Additionally, the unstructured nature of reports written in natural language makes it difficult to extract necessary details. Existing tools are inadequate to reproduce these bugs due to their inability to manage the specific interleaving at the system call level. To address these challenges, we propose SysPro, a novel approach that automatically extracts relevant system call names from bug reports and identifies their locations in the source code. It generates input data by utilizing information retrieval, regular expression matching, and the category-partition method. This extracted input and interleaving data are then used to reproduce bugs through dynamic source code instrumentation. Our empirical study on real-world benchmarks demonstrates that SysPro is both effective and efficient at localizing and reproducing system-level concurrency bugs from bug reports. |
| title | SysPro: Reproducing System-level Concurrency Bugs from Bug Reports |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2601.09616 |