Informace o publikaci

Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

Autoři

CHALUPA Marek JONÁŠ Martin SLABÝ Jiří STREJČEK Jan VITOVSKÁ Martina

Druh Článek ve sborníku
Konference Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-662-49674-9_67
Obor Informatika
Klíčová slova instrumentation; symbolic execution; program slicing
Popis Symbiotic 3 je novou generací nástroje pro detekci chyb v programech v C. Nástroj nadále využívá kombinaci programové instrumentace, prořezávání a symbolické exekuce. Velké části nástroje byly přepsány, zejména řídící a instrumentační skripty a prořezávač (včetně points-to analýzy). Také jsme modifikovali symbolický exekutor Klee, aby poskytoval svědky chyb. Změny jsou komentovány v popisu běhu nástroje.
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