Result 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.
Type
conference paper
Language
English
Authors
Malík Viktor, Ing., Ph.D., DITS (FIT)
Schrammel Peter
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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.

Keywords

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

URL
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)
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
Dublin
DOI
10.1007/978-3-030-45237-7_22
UT WoS
001288734300031
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"
}
Projects
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, start: 2020-01-01, end: 2022-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top