Detail publikace

Symbiotic 7: Integration of Predator and More (Competition Contribution)

HRUŠKA, M. CHALUPA, M. JAŠEK, T. STREJČEK, J. ŠOKOVÁ, V. VOJNAR, T. AYAZIOVÁ, P. TOMOVIČ, L.

Originální název

Symbiotic 7: Integration of Predator and More (Competition Contribution)

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating pro- grams. This new slicing is applied in termination analysias, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well.

Klíčová slova

Symbiotic, Predator, slicing, symbolic execution, symbolic memory graphs, Klee, static analysis

Autoři

HRUŠKA, M.; CHALUPA, M.; JAŠEK, T.; STREJČEK, J.; ŠOKOVÁ, V.; VOJNAR, T.; AYAZIOVÁ, P.; TOMOVIČ, L.

Vydáno

26. 2. 2020

Nakladatel

Springer International Publishing

Místo

Cham

ISBN

978-3-030-45236-0

Kniha

Proceedings of TACAS 2020 (2)

Edice

Lecture Notes in Computer Science

Strany od

413

Strany do

417

Strany počet

5

URL

https://www.fit.vut.cz/research/publication/12199/

BibTex

@inproceedings{BUT162537,
  author="HRUŠKA, M. and CHALUPA, M. and JAŠEK, T. and STREJČEK, J. and ŠOKOVÁ, V. and VOJNAR, T. and AYAZIOVÁ, P. and TOMOVIČ, L.",
  title="Symbiotic 7: Integration of Predator and More (Competition Contribution)",
  booktitle="Proceedings of TACAS 2020 (2)",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12079",
  pages="413--417",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-45237-7\{_}31",
  isbn="978-3-030-45236-0",
  url="https://www.fit.vut.cz/research/publication/12199/"
}

Dokumenty

Chalupa2020_Chapter_Symbiotic7IntegrationOfPredato.pdf