Informace o publikaci

Symbiotic 2: More Precise Slicing (Competition Contribution)

Logo poskytovatele
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.

Další info