Symbiotic 2: More Precise Slicing (Competition Contribution)

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
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
Citace
Doi	https://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