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 | SLABÝ, Jiří a Jan STREJČEK. Symbiotic 2: More Precise Slicing (Competition Contribution). In E. Ábrahám and K. Havelund. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Berlin, Heidelberg: Springer, 2014, s. 415-417. ISBN 978-3-642-54861-1. Dostupné z: https://dx.doi.org/10.1007/978-3-642-54862-8_34. |
| 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: |