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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APU138619" target="_blank" >RIV/00216305:26230/20:PU138619 - isvavai.cz</a>

Result on the web

<a href="https://link.springer.com/chapter/10.1007%2F978-3-030-45237-7_22" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-030-45237-7_22</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-45237-7_22" target="_blank" >10.1007/978-3-030-45237-7_22</a>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2020

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2

ISBN

978-3-030-45236-0

ISSN

—

e-ISSN

—

Number of pages

5

Pages from-to

368-372

Publisher name

Springer International Publishing

Place of publication

Dublin

Event location

Dublin

Event date

Apr 25, 2020

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—