ClabureDB

SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. ClabureDB. 2012.

Basic information

• Original name: ClabureDB
• Authors: SLABÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution), Jan STREJČEK (203 Czech Republic, belonging to the institution) and Marek TRTÍK (203 Czech Republic, belonging to the institution).
• Edition: 2012.

Other information

• Original language: English
• Type of outcome: Software
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: ClabureDB
• RIV identification code: RIV/00216224:14330/12:00062341
• Organization unit: Faculty of Informatics
• Keywords in English: Bug database; classified bug-reports
• Technical parameters: ClabureDB dokáže přesně klasifikovat výsledky navrácené statickým analyzátorem a sdělit, jak moc přesný takový nástroj je a kde má slabiny. Následně je možné tyto nástroje zpřesnit a zkvalitnit. V rámci výzkumu v této oblasti zde bylo popsáno přes 20 druhů chyb, oproti nimž aplikace porovnává, a do nich zatřízeno více než 3000 tzv. benchmarků s označkováním reálná chyba/falešné hlášení/neznámo. Jedná se o hlášení v reálném softwaru (jádro OS) i v umělých programech (ze soutěže nástrojů pro statickou analýzu). Hlavním přínosem je na míru vytvořená prezentační vrstva i masivní a ojedinělý rozsah benchmarků. Licence: GPLv2 a Open Database License v1.0. Odpovědná osoba pro jednání: Jan Strejček, email: [e-mail]; telefon: [phone]; adresa: Jan Strejček, Fakulta informatiky Masarykovy univerzity, Botanická 68a, 602 00 Brno.

Abstract

We present a software that can serve as a tool for tuning and valuation of miscellaneous program analysis tools. The software contains bug-reports produced by various tools applied to various source codes. The bug-reports are classified as either real errors or false positives. The software currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28, almost 300 reports from Software Competition 2012 and over 2000 reports from Software Competition 2013. Support of other software projects written in various programming languages is planned.

Links

• LA09016, research and development project: Name: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)

Investor: Ministry of Education, Youth and Sports of the CR, Czech Republic membership in the European Research Consortium for Informatics and Mathematics

• MUNI/A/0914/2009, interní kód MU: Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Acronym: SV-FI MAV)

Investor: Masaryk University, Category A