Original title:
Statická analýza programů v C#
Translated title:
Static analysis of C# programs
Authors:
Malý, Petr ; Bednárek, David (advisor) ; Parízek, Pavel (referee) Document type: Master’s theses
Year:
2014
Language:
eng Abstract:
[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)
Keywords:
Bobox; C#; Dependence Analysis; ParallaX; Points-to Analysis; static analysis; Structural Analysis; Bobox; C#; Dependence Analysis; ParallaX; Points-to Analysis; statická analýza; Structural Analysis
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/71737