Static analysis of C# programs
Statická analýza programů v C#
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/71737Identifiers
Study Information System: 141782
Collections
- Kvalifikační práce [10135]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Software Systems
Department
Department of Software Engineering
Date of defense
8. 9. 2014
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Very good
Keywords (Czech)
statická analýza, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence AnalysisKeywords (English)
static analysis, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence AnalysisCílem této diplomové práce je prozkoumat a aplikovat jednotlivé metody statické analýzy C# programů přeložených do Common Intermediate Language. Výsledky této práce jsou zakomponovány do systému ParallaX Development Envrionment. Tato diplomová práce se zaměřuje na Structural, Points-to a Dependence Analysis. Powered by TCPDF (www.tcpdf.org)
The goal of this diploma thesis is to study and implement selected methods of static code analysis for C# programs translated into the Common Intermediate Language. The results of this work are integrated into the ParallaX Development Environment system. This diploma thesis focuses on Structural, Points-to and Dependence. analysis. Powered by TCPDF (www.tcpdf.org)