| Identifikační kód | RIV/00216224:14330/13:00065952 |
|---|
| Název v anglickém jazyce | ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jiří Slabý (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6545270)
Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915)
Marek Trtík (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9937056) |
|---|
| Popis výsledku v anglickém jazyce | We present a database that can serve as a tool for tuning and evaluation of miscellaneous program analysis tools. The database 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 database currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28. Support of other software projects written in various programming languages is planned. The database can be downloaded and manipulated by SQL queries, or accessed via a web frontend. |
|---|
| Klíčová slova oddělená středníkem | Bug database; classified bug-reports |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-642-35873-9_17 |
|---|