R 2012

ClabureDB

SLABÝ, Jiří; Jan STREJČEK a Marek TRTÍK

Základní údaje

Originální název

ClabureDB

Autoři

SLABÝ, Jiří; Jan STREJČEK a Marek TRTÍK

Vydání

2012

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00062341

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Bug database; classified bug-reports

Technické parametry

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: strejcek@fi.muni.cz; telefon: 549496941; adresa: Jan Strejček, Fakulta informatiky Masarykovy univerzity, Botanická 68a, 602 00 Brno.
Změněno: 23. 4. 2013 05:57, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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.

Návaznosti

LA09016, projekt VaV
Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics
MUNI/A/0914/2009, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty