ClabureDB

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00062341" target="_blank" >RIV/00216224:14330/12:00062341 - isvavai.cz</a>

Výsledek na webu

<a href="http://claburedb.fi.muni.cz/" target="_blank" >http://claburedb.fi.muni.cz/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

ClabureDB

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

ClabureDB

Popis výsledku anglicky

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.

Druh

R - Software

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/LA09016" target="_blank" >LA09016: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

ClabureDB 1

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.

Ekonomické parametry

Nástroje pro statickou analýzu v dnešní době šetří velkou část vynaložených prostředků, které by jinak bylo nutné vynaložit na opravu software v průběhu nasazení, nebo ještě hůře až v době ostrého provozu. ClabureDB usnadňuje vývoj těchto nástrojů určeným ke hledání chyb. Nástroj je veřejně dostupný a byl stažen několika uživateli. Lze tedy předpokládat jeho využití i mimo FI MU. Také plánujeme využití tohoto nástroje v rámcí spolupráce s průmyslovými partnery Fakulty informatiky MU.

IČO vlastníka výsledku

00216224

Název vlastníka

Masarykova univerzita