Symbiotic 2: More Precise Slicing (Competition Contribution)

• Autoři: SLABÝ Jiří; STREJČEK Jan
• Rok publikování: 2014
• Druh: Článek ve sborníku
• Konference: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-642-54862-8_34
• Obor: Informatika
• Klíčová slova: instrumentation; symbolic execution; program slicing
• Popis: Symbiotic 2 zachovává koncept a strukturu původního nástroje pro vyhledávání chyb Symbiotic, ale používá přesnější slicing založený na analýze ukazatelů zohledňující pole v objektu namísto analýzy v původním nástroji, která nerozlišovala pole v objektech. Článek diskutuje toto zlepšení a jeho důsledky. Dále stručně připomíná základní principy nástroje, jeho slabé a silné stránky, instalaci a spuštění. Rovněž komentujeme výsledky dosažené nástrojem Symbiotic 2 v soutěži.

Související projekty

• Formální metody pro analýzu a verifikaci komplexních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III.
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity