CHALUPA, Marek, Jakub NOVÁK, Marek TRTÍK, Lukáš ZAORAL a Jan STREJČEK. Symbiotic 9.1. 2022. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Symbiotic 9.1 |
Autoři | CHALUPA, Marek, Jakub NOVÁK, Marek TRTÍK, Lukáš ZAORAL a Jan STREJČEK. |
Vydání | 2022. |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Software |
Obor | 10201 Computer sciences, information science, bioinformatics |
Stát vydavatele | Česká republika |
Utajení | není předmětem státního či obchodního tajemství |
WWW | Odkaz na stránku software |
Organizační jednotka | Fakulta informatiky |
Klíčová slova anglicky | Symbiotic; symbolic execution; slicing; bug-finding |
Technické parametry | Symbiotic 9.1 je pokročilý nástroj pro analýzu a verifikaci programů napsaných v jazyce C. Nástroj kombinuje různé statické analýzy, instrumentaci, prořezávání a symbolickou exekuci. Od verze 9 navíc Symbiotic používá i zpětnou symbolickou exekuci rozšířenou o techniku nazvanou "loop folding". Nástroj také nově produkuje netriviální svědky korektnosti programů a má základní podporu pro analýzu paralelních programů. Symbiotic 9.1 vyhrál kategorie MemSafety a SoftwareSystems v soutěži SV-COMP 2023. |
Příznaky | Mezinárodní význam |
Změnil | Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:16. |
Návaznosti | |
---|---|
MUNI/A/1145/2021, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Akronym: SV-FI MAV XI.) |
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. |
VytisknoutZobrazeno: 30. 5. 2024 06:08