Informace o publikaci
Symbiotic 2: More Precise Slicing (Competition Contribution)
Autoři | |
---|---|
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 | |
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: |