ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00065952" target="_blank" >RIV/00216224:14330/13:00065952 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-35873-9_17" target="_blank" >http://dx.doi.org/10.1007/978-3-642-35873-9_17</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-35873-9_17" target="_blank" >10.1007/978-3-642-35873-9_17</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Popis výsledku v původní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.
Název v anglickém jazyce
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
ISBN
9783642358722
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
7
Strana od-do
268-274
Název nakladatele
Springer
Místo vydání
Berlin, Heidelberg
Místo konání akce
Rome, Italy
Datum konání akce
1. 1. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—