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

Permalink: http://www.nusl.cz/ntk/nusl-340863


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses