SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
Tarannum Shaila Zaman, Zhihui Yan, Chen Wang, Chadni Islam, Jiangfan Shi, Tingting Yu

TL;DR
SysPro is a novel approach that automatically extracts system call information from bug reports and uses it to reproduce complex concurrency bugs, improving bug localization and reproduction efficiency.
Contribution
It introduces a method to automatically extract system call details from natural language bug reports and reproduce bugs through dynamic source code instrumentation.
Findings
Effective at localizing concurrency bugs
Able to reproduce bugs accurately from reports
Demonstrates efficiency on real-world benchmarks
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Software Testing and Debugging Techniques · Advanced Malware Detection Techniques
