Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

SLABÝ Jiří STREJČEK Jan TRTÍK Marek

Rok publikování 2013
Druh Článek ve sborníku
Konference Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-36742-7_50
Obor Informatika
Klíčová slova instrumentation; symbolic execution; program slicing
Přiložené soubory
Popis Symbiotic je nástroj pro detekci chyb popsaných pomocí konečně-stavových strojů v programech v jazyce C. Tento nástroj kombinuje tři dobře známé techniky: instrumentaci, program slicing a symbolickou exekuci. Článek stručně popisuje přístup Symbioticu včetně jeho silných a slabých stránek a úprav pro soutěž SV-COMP 2013. Také je popsána architektura a instalace nástroje.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info