Symbiotic 2: More Precise Slicing (Competition Contribution)

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, 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 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:

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