Symbiotic 5: Boosted Instrumentation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F18%3A00100910" target="_blank" >RIV/00216224:14330/18:00100910 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-89963-3_29" target="_blank" >http://dx.doi.org/10.1007/978-3-319-89963-3_29</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-89963-3_29" target="_blank" >10.1007/978-3-319-89963-3_29</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Symbiotic 5: Boosted Instrumentation

Popis výsledku v původním jazyce

The fifth version of Symbiotic significantly improves instrumentation capabilities that the tool uses to participate in the category MemSafety. It leverages an extended pointer analysis re-designed for instrumenting programs with memory safety errors, and staged instrumentation reducing the number of inserted function calls that track or check the memory state. Apart from various bugfixes, we have ported Symbiotic (including the external symbolic executor Klee) to llvm 3.9 and improved the generation of violation witnesses by providing values of some variables.

Název v anglickém jazyce

Symbiotic 5: Boosted Instrumentation

Popis výsledku anglicky

The fifth version of Symbiotic significantly improves instrumentation capabilities that the tool uses to participate in the category MemSafety. It leverages an extended pointer analysis re-designed for instrumenting programs with memory safety errors, and staged instrumentation reducing the number of inserted function calls that track or check the memory state. Apart from various bugfixes, we have ported Symbiotic (including the external symbolic executor Klee) to llvm 3.9 and improved the generation of violation witnesses by providing values of some variables.

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/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

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

Rok uplatnění

2018

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

Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II

ISBN

9783319899633

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

5

Strana od-do

442-446

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Thessaloniki, Řecko

Datum konání akce

1. 1. 2018

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

WRD - Celosvětová akce

Kód UT WoS článku

000445822600029