Publication Details

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. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. p. 413-417. ISBN: 978-3-030-45236-0.
Czech title
Symbiotic 7: Integrace nástroje Predator a více (příspěvek do soutěže)
Type
conference paper
Language
English
Authors
Hruška Martin, Ing., Ph.D. (Automata@FIT)
CHALUPA, M.
JAŠEK, T.
Strejček Jan, prof. RNDr., Ph.D. (FIT)
Šoková Veronika, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
AYAZIOVÁ, P.
TOMOVIČ, L.
Keywords

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

Abstract

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.

Published
2020
Pages
413–417
Proceedings
Proceedings of TACAS 2020 (2)
Series
Lecture Notes in Computer Science
Volume
12079
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
Cham
DOI
EID Scopus
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/"
}
Back to top