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 MUNá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: 29. 5. 2024 22:52