STANSE: Bug-finding Framework for C Programs

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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.