NIST · ИТ · 99b272a85e9dc8072dcf
Evaluating Bug Finders: Test and Measurement of Static Code Analyzers
Software static analysis is one of many options for finding bugs in software. Like compilers, static analyzers take a program as input. This paper covers tools that examine source code--without executing it--and output bug reports. Static analysis is a
NIST · ИТОфициальный источник · 2015-05-23
{
"title_en": "Evaluating Bug Finders: Test and Measurement of Static Code Analyzers",
"designation": "",
"series": "",
"status": "",
"date": "2015-05-23",
"date_original": "May 23, 2015",
"url": "https://www.nist.gov/publications/evaluating-bug-finders-test-and-measurement-static-code-analyzers",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Aurelien M. Delaitre , Bertrand C. Stivalet , Elizabeth N. Fong , Vadim Okun",
"abstract_excerpt_en": "Software static analysis is one of many options for finding bugs in software. Like compilers, static analyzers take a program as input. This paper covers tools that examine source code--without executing it--and output bug reports. Static analysis is a",
"id": "99b272a85e9dc8072dcf",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Evaluating Bug Finders: Test and Measurement of Static Code Analyzers",
"designation": "",
"series": "",
"status": "",
"date": "2015-05-23",
"date_original": "May 23, 2015",
"url": "https://www.nist.gov/publications/evaluating-bug-finders-test-and-measurement-static-code-analyzers",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Aurelien M. Delaitre , Bertrand C. Stivalet , Elizabeth N. Fong , Vadim Okun",
"abstract_excerpt_en": "Software static analysis is one of many options for finding bugs in software. Like compilers, static analyzers take a program as input. This paper covers tools that examine source code--without executing it--and output bug reports. Static analysis is a"
}
],
"translation_state": "none"
}