Detail publikace

Low-Level Bi-Abduction (Artifact)

ROGALEWICZ, A. ŠOKOVÁ, V. VOJNAR, T. HOLÍK, L. PERINGER, P. ZULEGER, F.

Originální název

Low-Level Bi-Abduction (Artifact)

Anglický název

Low-Level Bi-Abduction (Artifact)

Jazyk

en

Originální 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.

Anglický 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.

Dokumenty

BibTex


@article{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)",
  annote="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.",
  address="NEUVEDEN",
  chapter="178211",
  doi="10.4230/DARTS.8.2.11",
  edition="NEUVEDEN",
  howpublished="online",
  institution="NEUVEDEN",
  number="2",
  volume="8",
  year="2022",
  month="june",
  pages="1--6",
  publisher="NEUVEDEN",
  type="journal article - other"
}