umu.sePublications
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Limitations of static analysis tools: An evaluation of open source tools for C
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2018 (English)Independent thesis Basic level (degree of Bachelor of Fine Arts), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

This paper contains an evaluation of common open source static analysistools available for C. The tools algorithms are examined and measured in a test environment designed for such benchmarks to present their strengths and weaknesses. The examined tools represent different approaches to static analysis to get a good coverage of the algorithms that are commonly used.

The test environment shows how many bugs that are correctly reportedby the tools, and also how many falsely reported bug they produce. The revealed strengths and weaknesses are discussed in relation to the tools algorithms to gain a deeper understanding of their limitations.

Place, publisher, year, edition, pages
2018. , p. 37
Series
UMNAD ; 1161
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:umu:diva-155299OAI: oai:DiVA.org:umu-155299DiVA, id: diva2:1277816
Educational program
Bachelor of Science Programme in Computing Science
Supervisors
Examiners
Available from: 2019-01-11 Created: 2019-01-11 Last updated: 2019-01-11Bibliographically approved

Open Access in DiVA

fulltext(279 kB)65 downloads
File information
File name FULLTEXT01.pdfFile size 279 kBChecksum SHA-512
944eff6e2e78aeb1e5d6f2d84d790766a90e9888e704ecb5dc23d90ba7ceba488536eede60c7f706e9ed0161e06fe69b869db6d60a674b7e9fca0e3493093039
Type fulltextMimetype application/pdf

By organisation
Department of Computing Science
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 65 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 58 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf