OBDRŽÁLEK, Jan, Jiří SLABÝ and Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, p. 167-178. ISBN 978-3-642-25928-9.
Other formats:   BibTeX LaTeX RIS
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
Original 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 0302-9743
Keywords in English Bug-finding; static analysis; framework; checker
Links MSM0021622419, plan (intention). 1M0545, research and development project.
Changed by Changed by: RNDr. Daniel Jakubík, učo 139797. Changed: 1/9/2020 11:42.
Abstract
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
Type Name Uploaded/Created by Uploaded/Created Rights
stanse.pdf   File version Jakubík, D. 21/12/2011

Properties

Address within IS
https://repozitar.cz/auth/repo/14623/stanse.pdf
Address for the users outside IS
https://repozitar.cz/repo/14623/stanse.pdf
Address within Manager
https://repozitar.cz/auth/repo/14623/stanse.pdf?info
Address within Manager for the users outside IS
https://repozitar.cz/repo/14623/stanse.pdf?info
Uploaded/Created
Wed 21/12/2011 14:14

Rights

Right to read
  • anyone on the Internet
Right to upload
 
Right to administer:
  • a concrete person RNDr. Daniel Jakubík, uco 139797
Attributes
 

stanse.pdf

Application
Open the file
Download file.
Address within IS
https://repozitar.cz/auth/repo/14623/stanse.pdf
Address for the users outside IS
https://repozitar.cz/repo/14623/stanse.pdf
File type
PDF (application/pdf)
Size
295,1 KB
Hash md5
3515c3b61b8638091b3b5452932af339
Uploaded/Created
Wed 21/12/2011 14:14

stanse.txt

Application
Open the file
Download file.
Address within IS
https://repozitar.cz/auth/repo/14623/stanse.txt
Address for the users outside IS
https://repozitar.cz/repo/14623/stanse.txt
File type
plain text (text/plain)
Size
28,3 KB
Hash md5
d53de95a54db236b85f28acffe586bc1
Uploaded/Created
Wed 21/12/2011 14:18
stanse.pdf   File version 8/1/2013

Properties

Name
stanse.pdf
Address within IS
https://repozitar.cz/auth/repo/14623/69737/
Address for the users outside IS
https://repozitar.cz/repo/14623/69737/
Address within Manager
https://repozitar.cz/auth/repo/14623/69737/?info
Address within Manager for the users outside IS
https://repozitar.cz/repo/14623/69737/?info
Uploaded/Created
Tue 8/1/2013 16:05

Rights

Right to read
  • anyone on the Internet
Right to upload
 
Right to administer:
  • a concrete person RNDr. Daniel Jakubík, uco 139797
  • a concrete person Mgr. Ľuboš Lunter, uco 143320
Attributes
 
stanse.pdf   File version 1/9/2020

Properties

Name
stanse.pdf
Address within IS
https://repozitar.cz/auth/repo/14623/893203/
Address for the users outside IS
https://repozitar.cz/repo/14623/893203/
Address within Manager
https://repozitar.cz/auth/repo/14623/893203/?info
Address within Manager for the users outside IS
https://repozitar.cz/repo/14623/893203/?info
Uploaded/Created
Tue 1/9/2020 11:42

Rights

Right to read
  • anyone on the Internet
Right to upload
 
Right to administer:
  • a concrete person Mgr. Lucie Vařechová, uco 106253
  • a concrete person RNDr. Daniel Jakubík, uco 139797
  • a concrete person Mgr. Jolana Surýnková, uco 220973
Attributes
 
Print
Add to clipboard Displayed: 12/7/2024 13:31