Detail publikace

Low-Level Bi-Abduction (technical report)

HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022. Dostupné z: https://arxiv.org/abs/2205.02590
Název česky
Nízkoúrovňová Bi-abdukce (technická zpráva)
Typ
technická zpráva
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

Článek 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.

Rok
2022
Strany
43
Místo
Ithaca, US
DOI
BibTeX
@TECHREPORT{FITPUB12748,
   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 (technical report)",
   pages = 43,
   year = 2022,
   location = "Ithaca, US",
   doi = "10.48550/arXiv.2205.02590",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12748"
}
Nahoru