Detail publikace

2LS: Heap Analysis and Memory Safety (Competition Contribution)

MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Heap Analysis and Memory Safety (Competition Contribution). In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Dublin: Springer International Publishing, 2020. p. 368-372. ISBN: 978-3-030-45236-0.
Název česky
2LS: Analýza tvaru haldy a bezpečnosti práce s pamětí (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Malík Viktor, Ing., Ph.D. (UITS)
Schrammel Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

verifikace programů, omezený model checking, abstraktní interpretace, analýza tvaru haldy, analýza hodnot

Abstrakt

2LS je nástroj pro analýzu sekvenčních programů napsaných v jazyce C, který je založený na infrastruktuře CPROVER. K analýze programů používá techniku syntézy invariantů založenou na šablonách a dokáže oveřovat jak bezpečnost, tak i ukončitelnost programu. Tento článek představuje rozšíření nástroje 2LS od roku 2018 které zahrnují zejména vylepšení práce s dynamicky alokovanou pamětí a kombinaci abstraktních domén.

Rok
2020
Strany
368–372
Sborník
Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2
Řada
Lecture Notes in Computer Science
Svazek
12079
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Dublin
DOI
10.1007/978-3-030-45237-7_22
EID Scopus
2-s2.0-85083965753
BibTeX 
@inproceedings{BUT168128,
  author="Viktor {Malík} and Peter {Schrammel} and Tomáš {Vojnar}",
  title="2LS: Heap Analysis and Memory Safety (Competition Contribution)",
  booktitle="Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12079",
  pages="368--372",
  publisher="Springer International Publishing",
  address="Dublin",
  doi="10.1007/978-3-030-45237-7\{_}22",
  isbn="978-3-030-45236-0",
  url="https://link.springer.com/chapter/10.1007%2F978-3-030-45237-7_22"
}
Nahoru