Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Malík Viktor, Ing., Ph.D., UITS (FIT)
Schrammel Peter
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

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

URL
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)
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
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"
}
Projekty
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru