Static analysis of C# programs
Statická analýza programů v C#
diploma thesis (DEFENDED)

View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/71737Identifiers
Study Information System: 141782
Collections
- Kvalifikační práce [10135]
Author
Advisor
Referee
Parízek, Pavel
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)
Citace dokumentu
Metadata
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Jazykový a slohový rozbor vybraného textu
Defence status: DEFENDEDTěšínská, Tereza (Univerzita Karlova, Pedagogická fakulta, 2013)Date of defense: 5. 9. 2013 -
Jazykový a slohový rozbor vybraného textu (množiny textů)
Defence status: NOT DEFENDEDŠnajdrová, Michaela (Univerzita Karlova, Pedagogická fakulta, 2014)Date of defense: 4. 9. 2014 -
Rivals as Allies: Combining Fundamental and Technical Analysis for Stock Investing
Defence status: DEFENDEDBuinevici, Igor (Univerzita Karlova, Fakulta sociálních věd, 2019)Date of defense: 11. 6. 2019Hlavním cílem této práce je analýza vybraných investičních strategií a jejich testování na evropských datech. Celkem se jedná o čtyři strategie, které jsou zkoumány a porovnány z hlediska ziskovosti: dvě strategie založené ...