Detail publikace

Symbiotic 8: Beyond Symbolic Execution

CHALUPA, M.; JAŠEK, T.; ŘECHTÁČKOVÁ, A.; STREJČEK, J.; ŠOKOVÁ, V.; NOVÁK, J. Symbiotic 8: Beyond Symbolic Execution. In Proceedings of TACAS 2021 (2). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021. p. 453-457. ISBN: 978-3-030-72012-4.
Název česky
Symbiotic 8: Kromě symbolické exekuce (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
CHALUPA, M.
JAŠEK, T.
ŘECHTÁČKOVÁ, A.
Strejček Jan, prof. RNDr., Ph.D.
Šoková Veronika, Ing. (UITS)
NOVÁK, J.
Klíčová slova

Symbiotic, Slowbeast, Predator, instrumentation, program slicing, symbolic execution, k-induction, memory safety

Abstrakt

Symbiotic 8rozšiřuje tradiční kombinaci statických analýz, instrumentace, prořezáváníprogramu a symbolického provádění o jednu podstatnou novinku, a to spojenísymbolického provádění s k-indukcí. Touto technikou lze prokázat správnostprogramů s potenciálně neomezenými cykli, které nelze vykonat klasickýmsymbolickým prováděním. Symbiotic 8 přináší také několik dalších vylepšení.Zejména jsme upravili naši verzi symbolického exekutora Klee, tak, abypodporoval porovnávání symbolických ukazatelů. Dále jsme vyladili nástrojtvarové analýzy Predator (integrovaný již v Symbioticu 7), aby fungoval lépe naLLVM IR. Vyvinuli jsme také odlehčenou analýzu vztahů mezi proměnnými, kterámůže prokázat absenci přístupů za hranice polí.

Rok
2021
Strany
453–457
Sborník
Proceedings of TACAS 2021 (2)
Řada
Lecture Notes in Computer Science
Svazek
12652
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'21 (TACAS'21), Lucemburk, LU
ISBN
978-3-030-72012-4
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-72013-1_31
EID Scopus
2-s2.0-85128727346
BibTeX 
@inproceedings{BUT168510,
  author="CHALUPA, M. and JAŠEK, T. and ŘECHTÁČKOVÁ, A. and STREJČEK, J. and ŠOKOVÁ, V. and NOVÁK, J.",
  title="Symbiotic 8: Beyond Symbolic Execution",
  booktitle="Proceedings of TACAS 2021 (2)",
  year="2021",
  series="Lecture Notes in Computer Science",
  volume="12652",
  pages="453--457",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-72013-1\{_}31",
  isbn="978-3-030-72012-4"
}
Nahoru