Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hruška Martin, Ing., Ph.D., UITS (FIT)
CHALUPA, M.
JAŠEK, T.
Strejček Jan, prof. RNDr., Ph.D., FIT (FIT)
Šoková Veronika, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
AYAZIOVÁ, P.
TOMOVIČ, L.
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

Rok
2020
Strany
413–417
Sborník
Proceedings of TACAS 2020 (2)
Řada
Lecture Notes in Computer Science
Svazek
12079
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20)
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-45237-7_31
UT WoS
001288734300029
EID Scopus
2-s2.0-85083971923
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/"
}
Soubory
Projekty
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru