Detail publikace

Low-Level Bi-Abduction (technical report)

HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. Low-Level Bi-Abduction (technical report). Ithaca: 2022. p. 0-0.
Název česky
Nízkoúrovňová Bi-abdukce (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šoková Veronika, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (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

Č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
DOI
10.48550/arXiv.2205.02590
BibTeX 
@techreport{BUT178295,
  author="Lukáš {Holík} and Petr {Peringer} and Adam {Rogalewicz} and Veronika {Šoková} and Tomáš {Vojnar} and Florian {Zuleger}",
  title="Low-Level Bi-Abduction (technical report)",
  year="2022",
  address="Ithaca",
  pages="43",
  doi="10.48550/arXiv.2205.02590",
  url="https://arxiv.org/abs/2205.02590"
}
Nahoru