Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088244" target="_blank" >RIV/00216224:14330/16:00088244 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_67" target="_blank" >http://dx.doi.org/10.1007/978-3-662-49674-9_67</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_67" target="_blank" >10.1007/978-3-662-49674-9_67</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
Popis výsledku v původním jazyce
Symbiotic 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor Klee has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow.
Název v anglickém jazyce
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
Popis výsledku anglicky
Symbiotic 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor Klee has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow.

Projekt
<a href="/cs/project/GA15-17564S" target="_blank" >GA15-17564S: Teorie her jako prostředek pro formální analýzu a verifikaci 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í
2016
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 - 22nd International Conference, TACAS 2016
ISBN
9783662496732
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
4
Strana od-do
946-949
Název nakladatele
Springer
Místo vydání
Berlin, Heidelberg
Místo konání akce
Eindhoven, The Netherlands
Datum konání akce
1. 1. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)