Extended Static Race Detection for Visual Studio

Charrière, Thomas Sebastian (2015) Extended Static Race Detection for Visual Studio. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

ba_thesis.pdf - Supplemental Material

Download (2MB) | Preview


Multi-threaded programs are known to be prone to data races that are hard to find due to their non-deterministic occurrence. This thesis implements a novel static analysis mechanism for detecting low-level data races in the C# programming language. The tool works on the fly within the Visual Studio integrated development environment using the Roslyn framework. Based on a novel algorithm, the analysis employs conservative inter-procedural data-flow analysis considering thread dependency graphs with start/join relations. The result is working prototype with a simple architecture that efficiently detects potential data race issues by conveniently highlighting them in the program source code.

Item Type: Thesis (Bachelor)
Subjects: Topics > Software > Performance
Topics > Software > Optimization
Area of Application > Development Tools
Technologies > Programming Languages > C#
Technologies > Frameworks and Libraries > .NET
Divisions: Bachelor of Science FHO in Informatik > Bachelor Thesis
Charrière, Thomas SebastianUNSPECIFIED
Thesis advisorBläser, LucUNSPECIFIED
Depositing User: Christian Spielmann
Date Deposited: 23 Jul 2015 06:41
Last Modified: 23 Jul 2015 06:41
URI: http://eprints.hsr.ch/id/eprint/428

Actions (login required)

View Item View Item