STANSE: Bug-finding Framework for C Programs

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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	https://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	stanse.pdf
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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy