Detail publikace

Low-Level Bi-Abduction (Artifact)

HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022. Dostupné z: http://dx.doi.org/10.4230/DARTS.8.2.11
Název česky
Nízkoúrovňová Bi-abdukce (Artefakt)
Typ
různé
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zuleger Florian, Dr. (FORSYTE)
URL
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, DE
DOI
10.4230/DARTS.8.2.11
BibTeX 
@MISC{FITPUB12747,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Petr Peringer and Adam Rogalewicz and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar and Florian Zuleger",
   title = "Low-Level Bi-Abduction (Artifact)",
   pages = "1--6",
   year = 2022,
   location = "Dagstuhl, DE",
   doi = "10.4230/DARTS.8.2.11",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12747"
}
Nahoru