Informace o publikaci

STANSE: Bug-finding Framework for C Programs

Autoři

OBDRŽÁLEK Jan SLABÝ Jiří TRTÍK Marek

Rok publikování 2012
Druh Článek ve sborníku
Konference LNCS Proceeding of Memics 2011
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-25929-6_16
Obor Počítačový hardware a software
Klíčová slova Bug-finding; static analysis; framework; checker
Přiložené soubory
Popis Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
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