STANSE: Bug-finding Framework for C Programs

Warning

This publication doesn't include Faculty of Medicine. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	OBDRŽÁLEK Jan SLABÝ Jiří TRTÍK Marek
Year of publication	2012
Type	Article in Proceedings
Conference	LNCS Proceeding of Memics 2011
MU Faculty or unit	Faculty of Informatics
Citation
Doi	http://dx.doi.org/10.1007/978-3-642-25929-6_16
Field	Computer hardware and software
Keywords	Bug-finding; static analysis; framework; checker
Attached files	stanse.pdf
Description	Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
Related projects:	Institute for Theoretical Computer Science Highly Parallel and Distributed Computing Systems