Static analysis of C# programs
Statická analýza programů v C#
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/71737Identifikátory
SIS: 141782
Kolekce
- Kvalifikační práce [10691]
Autor
Vedoucí práce
Oponent práce
Parízek, Pavel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Softwarové systémy
Katedra / ústav / klinika
Katedra softwarového inženýrství
Datum obhajoby
8. 9. 2014
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Velmi dobře
Klíčová slova (česky)
statická analýza, C#, ParallaX, Bobox, Structural Analysis, Points-to Analysis, Dependence AnalysisKlíčová slova (anglicky)
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
Zobrazit celý záznamSouvisející záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Jazykový a slohový rozbor vybraného textu
Výsledek obhajoby: OBHÁJENOTěšínská, Tereza (Univerzita Karlova, Pedagogická fakulta, 2013)Datum obhajoby: 5. 9. 2013 -
Jazykový a slohový rozbor vybraného textu (množiny textů)
Výsledek obhajoby: NEOBHÁJENOŠnajdrová, Michaela (Univerzita Karlova, Pedagogická fakulta, 2014)Datum obhajoby: 4. 9. 2014 -
Rivals as Allies: Combining Fundamental and Technical Analysis for Stock Investing
Výsledek obhajoby: OBHÁJENOBuinevici, Igor (Univerzita Karlova, Fakulta sociálních věd, 2019)Datum obhajoby: 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é ...