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