Detail publikace

Low-Level Bi-Abduction

HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. Low-Level Bi-Abduction. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022. p. 1-30. ISBN: 978-3-95977-225-9. ISSN: 1868-8969.
Název česky
Nízkoúrovňová Bi-abdukce
Typ
článek ve sborníku konference
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
1–30
Časopis
Leibniz International Proceedings in Informatics, LIPIcs, roč. 2022, č. 222, ISSN 1868-8969
Sborník
36th European Conference on Object-Oriented Programming (ECOOP 2022)
Řada
Leibniz International Proceedings in Informatics
Konference
European Conference on Object-Oriented Programming -- ECOOP'22, Berlin, DE
ISBN
978-3-95977-225-9
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern
DOI
10.4230/LIPIcs.ECOOP.2022.19
EID Scopus
2-s2.0-85134342971
BibTeX 
@inproceedings{BUT178210,
  author="Lukáš {Holík} and Petr {Peringer} and Adam {Rogalewicz} and Veronika {Šoková} and Tomáš {Vojnar} and Florian {Zuleger}",
  title="Low-Level Bi-Abduction",
  booktitle="36th European Conference on Object-Oriented Programming (ECOOP 2022)",
  year="2022",
  series="Leibniz International Proceedings in Informatics",
  journal="Leibniz International Proceedings in Informatics, LIPIcs",
  volume="2022",
  number="222",
  pages="1--30",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Wadern",
  doi="10.4230/LIPIcs.ECOOP.2022.19",
  isbn="978-3-95977-225-9",
  issn="1868-8969",
  url="https://drops.dagstuhl.de/opus/volltexte/2022/16247/"
}
Nahoru