Detail publikace

2LS: Memory Safety and Non-termination (Competition Contribution)

MALÍK, V.; MARTIČEK, Š.; SCHRAMMEL, P.; VOJNAR, T.; SRIVAS, M.; WAHLANG, J. 2LS: Memory Safety and Non-termination (Competition Contribution). In Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Thessaloniki: Springer International Publishing, 2018. p. 417-421. ISBN: 978-3-319-89962-6.
Název česky
2LS: analýza bezpečnosti práce s pamětí a neukončitelnosti (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Malík Viktor, Ing., Ph.D. (UITS)
Martiček Štefan, Ing.
Schrammel Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
SRIVAS, M.
WAHLANG, J.
URL
Klíčová slova

verifikace programů, ukončitelnost, neukončitelnost, analýza tvaru haldy, syntéza invariantů

Abstrakt

2LS je nástroj pro analýzu programů v jazyce C postavený na platformě CPROVER. 2LS slouží k dokazování správnosti a hledání chyb v programech. Analýza využívá techniky založené na šablonách k nalezení invariantů programu a řadících funkcí a dále techniky rozbalování smyček k nalezení důkazů a protipříkladů pomocí k-indukce. Novými funkcemi pro letošní verzi jsou vylepšená analýza datových struktur alokovaných na haldě pomocí nové abstraktní domény a dále dvě techniky analýzy neukončitelnosti programů.

Rok
2018
Strany
417–421
Sborník
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2
Řada
Lecture Notes in Computer Science
Svazek
10806
ISBN
978-3-319-89962-6
Vydavatel
Springer International Publishing
Místo
Thessaloniki
DOI
10.1007/978-3-319-89963-3_24
UT WoS
000445822600024
EID Scopus
2-s2.0-85045834337
BibTeX 
@inproceedings{BUT155119,
  author="MALÍK, V. and MARTIČEK, Š. and SCHRAMMEL, P. and VOJNAR, T. and SRIVAS, M. and WAHLANG, J.",
  title="2LS: Memory Safety and Non-termination (Competition Contribution)",
  booktitle="Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2",
  year="2018",
  series="Lecture Notes in Computer Science",
  volume="10806",
  pages="417--421",
  publisher="Springer International Publishing",
  address="Thessaloniki",
  doi="10.1007/978-3-319-89963-3\{_}24",
  isbn="978-3-319-89962-6",
  url="https://link.springer.com/chapter/10.1007/978-3-319-89963-3_24"
}
Nahoru