Publication Details

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

MALÍK Viktor, SCHRAMMEL Peter and 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, vol. 12079. Dublin: Springer International Publishing, 2020, pp. 368-372. ISBN 978-3-030-45236-0. Available from: https://link.springer.com/chapter/10.1007%2F978-3-030-45237-7_22
Czech title
2LS: Analýza tvaru haldy a bezpečnosti práce s pamětí (příspěvek do soutěže)
Type
conference paper
Language
english
Authors
Malík Viktor, Ing. (DITS FIT BUT)
Schrammel Peter, Dr. (US)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

software verification, bounded model checking, abstract interpretation, shape analysis, value analysis

Abstract

2LS is a framework for analysis of sequential C programs based on the CPROVER infrastructure and template-based synthesis techniques for checking both safety and termination. The paper presents the main improvements done in 2LS since 2018, which concern mainly the way 2LS handles dynamically allocated objects and structures as well as combinations of abstract domains.

Published
2020
Pages
368-372
Proceedings
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
Conference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
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"
}
Back to top