Detail publikace

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

MALÍK Viktor, SCHRAMMEL Peter a VOJNAR Tomáš. 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, roč. 12079. Dublin: Springer International Publishing, 2020, s. 368-372. ISBN 978-3-030-45236-0. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-45237-7_22
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
angličtina
Autoři
Malík Viktor, Ing. (UITS FIT VUT)
Schrammel Peter, Dr. (US)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Dublin, IE
DOI
10.1007/978-3-030-45237-7_22
EID Scopus
2-s2.0-85083965753
BibTeX 
@INPROCEEDINGS{FITPUB12264,
   author = "Viktor Mal\'{i}k and Peter Schrammel and Tom\'{a}\v{s} Vojnar",
   title = "2LS: Heap Analysis and Memory Safety (Competition Contribution)",
   pages = "368--372",
   booktitle = "Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2",
   series = "Lecture Notes in Computer Science",
   volume = 12079,
   year = 2020,
   location = "Dublin, IE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-45236-0",
   doi = "10.1007/978-3-030-45237-7\_22",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12264"
}
Nahoru