Vylepšení zásuvných modulů prostředí Meta Infer pro detekci chyb v paralelních programech

Abstract

Tato práce se zaměřuje na vylepšení zásuvných modulů Meta Infer pro detekci chyb paralelnosti se zvláštním důrazem na vylepšení zásuvného modulu Atomer. Navrhujeme několik rozšíření pro zvýšení jeho použitelnosti a přesnosti, včetně filtrování porušení atomicity na~základě tvrdých a relativních limitů, podpory sledování přístupu do paměti a integrace s dynamickou analýzou. Nejvlivnějším přínosem je mechanismus filtrování, který výrazně snižuje šum ve výstupu a pomáhá vývojářům zaměřit se na nejdůležitější problémy. Naše~implementace byla vyhodnocena na umělých i reálných příkladech a ukázala pozoruhodné zlepšení kvality výsledků analýzy. Díky těmto vylepšením je Atomer praktičtější a atraktivnější pro vývojáře analyzující paralelní software.

This thesis focuses on improving Meta Infer plugins for detecting concurrency errors, with~a~particular emphasis on enhancing the Atomer plugin. We propose several extensions to~increase its usability and precision, including filtering atomicity violations based on hard and relative thresholds, supporting memory access tracking, and integrating with dynamic analysis. The most impactful contribution is the filtering mechanism, which significantly reduces noise in the output and helps developers focus on the most relevant issues. Our implementation was evaluated on both hand-made and real-world codebases, showing notable improvements in the quality of the analysis results. These enhancements make Atomer more practical and appealing for developers analyzing concurrent software.