Název: Statická analýza programů v C#
Překlad názvu: Static analysis of C# programs
Autoři: Malý, Petr ; Bednárek, David (vedoucí práce) ; Parízek, Pavel (oponent)
Typ dokumentu: Diplomové práce
Rok: 2014
Jazyk: eng
Abstrakt: [eng] [cze]
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) Cí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)
Klíčová slova: Bobox; C#; Dependence Analysis; ParallaX; Points-to Analysis; statická analýza; Structural Analysis; Bobox; C#; Dependence Analysis; ParallaX; Points-to Analysis; static analysis; Structural Analysis

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/71737

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-340863


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce