Publication Details

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.
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., Ph.D. (DITS)
Schrammel Peter
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
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"
}
Back to top