Static Code Analysis For Embedded Systems

Examensarbete för masterexamen

Please use this identifier to cite or link to this item:
Download file(s):
File Description SizeFormat 
111920.pdfFulltext714.47 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Static Code Analysis For Embedded Systems
Authors: Ågren, Magnus
Abstract: Much software for embedded systems is written in languages such as C. This is known to be error prone, because of manual memory management and similar insecurities. A countermeasure against such problems is static code analysis. This thesis presents an evaluation of techniques for static code analysis, focusing on methods of fault detection. A number of different analysis tools have been tested, at Ascom Wireless Solutions, a developer of embedded system for wireless communication, on production code. The tools were able to detect real faults, but with significant manual interaction required.
Keywords: Programvaruteknik;Software Engineering
Issue Date: 2009
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
Collection:Examensarbeten för masterexamen // Master Theses

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.