2012
STANSE: Bug-finding Framework for C Programs
OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍKZákladní údaje
Originální název
STANSE: Bug-finding Framework for C Programs
Autoři
OBDRŽÁLEK, Jan (203 Česká republika, garant, domácí), Jiří SLABÝ (203 Česká republika, domácí) a Marek TRTÍK (203 Česká republika, domácí)
Vydání
Brno, LNCS Proceeding of Memics 2011, od s. 167-178, 12 s. 2012
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
Počítačový hardware a software
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Kód RIV
RIV/00216224:14330/12:00067325
Organizace
Fakulta informatiky – Masarykova univerzita – Repozitář
ISBN
978-3-642-25928-9
ISSN
Klíčová slova anglicky
Bug-finding; static analysis; framework; checker
Návaznosti
MSM0021622419, záměr. 1M0545, projekt VaV.
Změněno: 1. 9. 2020 11:42, RNDr. Daniel Jakubík
Anotace
V originále
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
