liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Random testing with sanitizers to detect concurrency bugs in embedded avionics software
Linköping University, Department of Computer and Information Science, Software and Systems.
Linköping University, Department of Computer and Information Science, Software and Systems.
2018 (English)Independent thesis Basic level (degree of Bachelor), 10,5 credits / 16 HE creditsStudent thesis
Abstract [en]

Fuzz testing is a random testing technique that is effective at finding bugs in large software programs and protocols. We investigate if the technology can be used to find bugs in multi-threaded applications by fuzzing a real-time embedded avionics platform together with a tool specialized at finding data races between multiple threads. We choose to fuzz an API (available to applications executing on top) of the platform. This thesis evaluates aspects of integrating a fuzzing program, AFL and a sanitizer, ThreadSanitizer with an embedded system. We investigate the modifications needed to create a correct run-time environment for the system, including supplying test data in a safe manner and we discuss hardware dependencies. We present a setup where we show that the tools can be used to find planted data races, however slowdown introduced by the tools is significant and the fuzzer only managed to find very simple planted data races during the test runs. Our findings also indicate what appear to be conflicts in instrumentation between the fuzzer and the sanitizer.  

Place, publisher, year, edition, pages
2018. , p. 29
Keywords [en]
fuzz testing, software testing, AFL, american fuzzy lop, embedded systems, santizer, threadsanitizer
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:liu:diva-153310ISRN: LIU-IDA/LITH-EX-G--18/070--SEOAI: oai:DiVA.org:liu-153310DiVA, id: diva2:1269941
External cooperation
Saab AB
Subject / course
Computer science
Presentation
2018-11-21, 18:39 (Swedish)
Supervisors
Examiners
Available from: 2018-12-12 Created: 2018-12-11 Last updated: 2018-12-12Bibliographically approved

Open Access in DiVA

fulltext(930 kB)165 downloads
File information
File name FULLTEXT01.pdfFile size 930 kBChecksum SHA-512
3570c87dec4845dad44b9681a1d708cb598586305b609cce0d4003ba960f114c0a4c337801c95831eb0ee995a015af5b4638eac849b0506f7eae8ac8688bb753
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Johansson, ViktorVallén, Alexander
By organisation
Software and Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 165 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: 299 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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