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; Jiří SLABÝ and Marek TRTÍK

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"

Marked to be transferred to RIV

Yes

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

In the original language

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