Static analysis of C# programs
Název práce v češtině: | Statická analýza programů v C# |
---|---|
Název v anglickém jazyce: | Static analysis of C# programs |
Klíčová slova: | statická analýza, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence Analysis |
Klíčová slova anglicky: | static analysis, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence Analysis |
Akademický rok vypsání: | 2013/2014 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra softwarového inženýrství (32-KSI) |
Vedoucí / školitel: | RNDr. David Bednárek, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 17.10.2013 |
Datum zadání: | 07.11.2013 |
Datum potvrzení stud. oddělením: | 18.11.2013 |
Datum a čas obhajoby: | 08.09.2014 10:30 |
Datum odevzdání elektronické podoby: | 31.07.2014 |
Datum odevzdání tištěné podoby: | 31.07.2014 |
Datum proběhlé obhajoby: | 08.09.2014 |
Oponenti: | doc. RNDr. Pavel Parízek, Ph.D. |
Zásady pro vypracování |
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. |
Seznam odborné literatury |
- 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. |
Předběžná náplň práce |
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ů. |