D
2012
STANSE: Bug-finding Framework for C Programs
OBDRŽÁLEK, Jan; Jiří SLABÝ a Marek TRTÍK
Základní údaje
Originální název
STANSE: Bug-finding Framework for C Programs
Autoři
OBDRŽÁLEK, Jan; Jiří SLABÝ a Marek TRTÍK
Vydání
Brno, LNCS Proceeding of Memics 2011, od s. 167-178, 12 s. 2012
Další údaje
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"
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/12:00067325
Organizace
Fakulta informatiky – Masarykova univerzita – Repozitář
Klíčová slova anglicky
Bug-finding; static analysis; framework; checker
Návaznosti
MSM0021622419, záměr. 1M0545, projekt VaV.
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.
Zobrazeno: 2. 5. 2026 21:40