Detail publikace

Low-Level Bi-Abduction (Artifact)

ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. Low-Level Bi-Abduction (Artifact). Dagstuhl: 2022. p. 1-6.
Název česky
Nízkoúrovňová Bi-abdukce (Artefakt)
Typ
různé
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šoková Veronika, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Zuleger Florian, Dr. (FIT)
URL
Klíčová slova

programs with dynamic linked data structures, programs with pointers, low-level pointer operations, static analysis, shape analysis, separation logic, bi-abduction

Abstrakt

Broom je nový statický analyzátor programů v C napsán v OCamli. Nástroj Broom přináší novou techniku statické analýzy určené pro otevřené programy (fragmenty programů) s dynamickými pointerovými datovými strukturami, konkrétně různými typy linkových listů. Technika je založena na separační logice a bi-abdukčním přístupu. Samotný artefakt je obraz linuxového systému Ubuntu 20.04. Sestáva ze zdrojových kódů a binářky nástroje Broom, testovací sady a skriptů pro běh našeho a konkurenčních nástrojů.

Rok
2022
Strany
1–6
Místo
Dagstuhl
DOI
10.4230/DARTS.8.2.11
BibTeX 
@misc{BUT178211,
  author="Adam {Rogalewicz} and Veronika {Šoková} and Tomáš {Vojnar} and Lukáš {Holík} and Petr {Peringer} and Florian {Zuleger}",
  title="Low-Level Bi-Abduction (Artifact)",
  year="2022",
  pages="1--6",
  address="Dagstuhl",
  doi="10.4230/DARTS.8.2.11",
  url="http://dx.doi.org/10.4230/DARTS.8.2.11",
  note="miscellaneous"
}
Nahoru