Detail publikace

Symbiotic 8: Beyond Symbolic Execution (Competition Contribution)

CHALUPA, M.; JAŠEK, T.; ŘECHTÁČKOVÁ, A.; STREJČEK, J.; ŠOKOVÁ, V.; NOVÁK, J. Symbiotic 8: Beyond Symbolic Execution (Competition Contribution). 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. (FIT)
Šoková Veronika, Ing. (UITS)
NOVÁK, J.
Klíčová slova

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

Abstrakt

Symbiotic 8 rozš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ávnost programů s potenciálně neomezenými cykli, které nelze vykonat klasickým symbolický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, aby podporoval porovnávání symbolických ukazatelů. Dále jsme vyladili nástroj tvarové analýzy Predator (integrovaný již v Symbioticu 7), aby fungoval lépe na LLVM 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
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 (Competition Contribution)",
  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