Symbiotic 5: Boosted Instrumentation
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Symbiotic 5: Boosted Instrumentation
Original language description
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.
Czech name
—
Czech description
—
Classification
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)
Result continuities
Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II
ISBN
9783319899633
ISSN
0302-9743
e-ISSN
—
Number of pages
5
Pages from-to
442-446
Publisher name
Springer
Place of publication
Berlin
Event location
Thessaloniki, Řecko
Event date
Jan 1, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000445822600029