Static analysis of C# programs
Thesis title in Czech: | Statická analýza programů v C# |
---|---|
Thesis title in English: | Static analysis of C# programs |
Key words: | statická analýza, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence Analysis |
English key words: | static analysis, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence Analysis |
Academic year of topic announcement: | 2013/2014 |
Thesis type: | diploma thesis |
Thesis language: | angličtina |
Department: | Department of Software Engineering (32-KSI) |
Supervisor: | RNDr. David Bednárek, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 17.10.2013 |
Date of assignment: | 07.11.2013 |
Confirmed by Study dept. on: | 18.11.2013 |
Date and time of defence: | 08.09.2014 10:30 |
Date of electronic submission: | 31.07.2014 |
Date of submission of printed version: | 31.07.2014 |
Date of proceeded defence: | 08.09.2014 |
Opponents: | doc. RNDr. Pavel Parízek, Ph.D. |
Guidelines |
The goal of this thesis is the implementation of selected methods of static code analysis for C# programs translated into the Microsoft CIL intermediate code. This work builds on the results of the thesis "Parallelizability analysis based on bytecode". The result will be integrated into a system that allows developers to implement a class of data-intensive applications in C#, without the knowledge of specific parallel programming languages and systems. |
References |
- Muchnick, S.: Advanced Compiler Design and Implementation, Morgan-Kaufmann, 1997, ISBN: 1558603204.
- Allen, R. and Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, 2001, ISBN: 978-1558602861. - Dittamo, C., Cisternino, A. and Danelutto, M.: Parallelization of C# Programs Through Annotations. LNCS 4488, Springer, 2007, pp. 585-592, ISBN 978-3-540-72585-5. - Brabec, M.: Analýza paralelizovatelnosti programů na základě jejich bytecode. Diplomová práce, MFF UK Praha, 2013. - Bednárek D., Brabec M.: Programming parallel pipelines using non-parallel C# code. CEUR Workshop Proceedings 1003, pp. 82-87, 2013, ISSN: 1613-0073. |
Preliminary scope of work |
Cílem práce je implementovat vybrané metody statické analýzy kódu pro programy napsané v jazyce C# a přeložené do mezikódu Microsoft CIL. Práce navazuje na diplomovou práci "Analýza paralelizovatelnosti programů na základě jejich bytecode", a výsledky práce se stanou součástí systému, který umožní vývojářům vytvářet některé datově-intenzivní aplikace v jazyce C#, bez znalosti specifických jazyků a systémů používaných k implementaci paralelních výpočtů. |