Informace o publikaci

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)

Autoři

SLABÝ Jiří STREJČEK Jan TRTÍK Marek

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

Fakulta informatiky Ústav výpočetní techniky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-36742-7_50
Obor Informatika
Klíčová slova instrumentation; symbolic execution; program slicing
Přiložené soubory
Popis Symbiotic je nástroj pro detekci chyb popsaných pomocí konečně-stavových strojů v programech v jazyce C. Tento nástroj kombinuje tři dobře známé techniky: instrumentaci, program slicing a symbolickou exekuci. Článek stručně popisuje přístup Symbioticu včetně jeho silných a slabých stránek a úprav pro soutěž SV-COMP 2013. Také je popsána architektura a instalace 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