Detail výsledku

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.
Typ
různé
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D., UITS (FIT)
Šoková Veronika, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Peringer Petr, Dr. Ing., UITS (FIT)
Zuleger Florian, Dr., FIT (FIT)
Abstrakt

Broom is a new static analyzer for C written in OCaml. Broom primarily aims at open programs, i.e., fragments of programs, with dynamic pointer-linked data structuresin particular, various kinds of liststhat employ advanced low-level pointer operations. It is based on separation logic and the
principle of bi-abductive reasoning. The artifact is a VirtualBox image of a Linux machine with Ubuntu 20.04 operating system. It contains source code and binary of the Broom tool, benchmarks, and scripts for running our and the competing tools we compare to.

Klíčová slova

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

URL
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="Other unclassified results"
}
Projekty
Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, zahájení: 2020-01-01, ukončení: 2024-12-31, ukončen
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru