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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/GA20-07487S" target="_blank" >GA20-07487S: Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů</a><br>

Návaznosti

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

Rok uplatnění

2020

Kód důvěrnosti údajů

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

Název statě ve sborníku

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

—

Počet stran výsledku

5

Strana od-do

368-372

Název nakladatele

Springer International Publishing

Místo vydání

Dublin

Místo konání akce

Dublin

Datum konání akce

25. 4. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—