D 2012

STANSE: Bug-finding Framework for C Programs

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

Basic information

Original name

STANSE: Bug-finding Framework for C Programs

Authors

OBDRŽÁLEK, Jan (203 Czech Republic, guarantor, belonging to the institution), Jiří SLABÝ (203 Czech Republic, belonging to the institution) and Marek TRTÍK (203 Czech Republic, belonging to the institution)

Edition

Brno, LNCS Proceeding of Memics 2011, p. 167-178, 12 pp. 2012

Publisher

Springer

Other information

Language

English

Type of outcome

Proceedings paper

Field of Study

Computer hardware and software

Country of publisher

Czech Republic

Confidentiality degree

is not subject to a state or trade secret

Publication form

printed version "print"

RIV identification code

RIV/00216224:14330/12:00067325

Organization

Fakulta informatiky – Repository – Repository

ISBN

978-3-642-25928-9

ISSN

Keywords in English

Bug-finding; static analysis; framework; checker

Links

MSM0021622419, plan (intention). 1M0545, research and development project.
Changed: 1/9/2020 11:42, RNDr. Daniel Jakubík

Abstract

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.

Files attached

stanse.pdf File version
http://is.muni.cz/repo/956059/stanse.pdf File version
https://is.muni.cz/publication/956059/stanse.pdf File version