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

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

20206 Computer hardware and architecture

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"

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00067325

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-25928-9

ISSN

DOI

Klíčová slova anglicky

Bug-finding; static analysis; framework; checker

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 29. 4. 2014 12:57, RNDr. Pavel Šmerk, Ph.D.

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.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky

Přiložené soubory

stanse.pdf Verze souboru