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

• 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
• 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

• 77950621.pdf

• 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

• Centrum excelence - Institut teoretické informatiky
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.