May-Happen-in-Parallel Analysis for Slicing of Parallel Programs

Bc. Jindřich Sedláček

Bachelor's thesis

Anotácia:

Tato práce prezentuje přehled may-happen-in-parallel analýzy v kontextu statického prořezávání programů. Vysvětlujeme koncepty statického prořezávání programů a may-happen-in-parallel analýzy a uvádíme souhrn existujících přístupů k may-happen-in-parallel analýze. Popisujeme náš algoritmus pro may-happen-in-parallel analýzu a jeho implementaci do DG, nástroje pro statické prořezávní programů. Nakonec vyhodnocujeme tuto novou may-happen-in-parallel analýzu na sadě benchmarků z SV-COMPu.

Abstract:

This thesis presents an overview of may-happen-in-parallel analysis in the context of static program slicing. We explain the concepts of static program slicing and may-happen-in-parallel analysis and give a summary of existing may-happen-in-parallel analysis techniques. We then describe our algorithm for may-happen-in-parallel analysis and its implementation into the static slicer DG. Finally, we evaluate the new may-happen-in-parallel analysis on benchmarks from SV-COMP.

Keywords

may-happen-in-parallel, slicing, static slicing, multi-threaded programs, C, POSIX threads, LLVM

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 19. 12. 2023

Obhajoba závěrečné práce

• Obhajoba proběhla 16. 2. 2024
• Vedúci: prof. RNDr. Jan Strejček, Ph.D.
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Informatics