|
|
Rozšíření generického ladicího nástroje v projektu Lissom
Hons, Petr ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Práce se zabývá seznámením s problematikou ladění a ladicích nástrojů. Dále popisuje princip ladicích informací, speciálně formátu DWARF s důrazem především na Call Frame Information (CFI), které umožňují ladicím nástrojům vizualizovat zásobník volání. Zároveň byla navržena a implementována rozšíření ladicího nástroje projektu Lissom přidávající podporu zásobníku volání, historie hodnot a příkazů step return a step over.
|
|
| |
|
|
Output breakpoints for Java
Jelínek, Jakub ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Cílem této práce bylo navrhnout podporu výstupních breakpointů pro jazyk Java a implementovat navržené řešení včetně integrace do prostředí Eclipse IDE. Výstupní breakpoint představuje místo na výstupním médiu (např. soubor, standardní výstup nebo socket), kde se má vykonávání programu zastavit. Místo na výstupním médiu je zobecněno jako zastavovací podmínka - může představovat např. absolutní pozici, konkrétní řádek a znak nebo výskyt textového řetezce. Navržené rešení je založeno na pozorování tříd odpovědných za výstup pomocí vstupních breakpointů na metodách, které jsou standardní součástí jazyka Java. Řešení je závislé na konkrétní verzi a implementaci JRE, neboť pozoruje také metody, které nejsou součástí veřejného Java API.
|
|
|
Ladicí nástroj pro víceprocesorový systém na čipu
Špaček, Michal ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
Projekt Lissom se zabývá metodologií hardware/software co-design. V rámci tohoto projektu bylo vyvinuto prostředí pro návrh víceprocesorových systémů na čipu. Prostředí umožnuje i návrh aplikací pro víceprocesorové systémy. Součástí prostředí je i ladicí nástroj, který umožňuje ladění aplikací pro jednoprocesorové systémy. V této práci je vývojové prostředí popsáno a je navrženo a implementováno rozšíření stávajícího ladicího nástroje o možnosti ladění víceprocesorových systémů na základě požadavků standardu Nexus
|
|
| |
|
| |
|
|
Interactive Debugger for MSIM
Martinec, Tomáš ; Děcký, Martin (vedoucí práce) ; Malohlava, Michal (oponent)
Cílem této práce je rozšíření ladících schopností MSIMu pomocí napojení na vývojové prostředí Eclipse. MSIM je simulátor počítače založený na procesoru MIPS a jednoduchém hardwarovém modelu. Je zaměřen převážně na výuku principů operačních systémů. V současné době MSIM umožňuje ladit emulovaný kód díky implementaci síťového rozhraní GNU Debuggeru (GDB) a pomocí několika interních ladících příkazů. Implementace prezentovaná v této práci spojuje MSIM a ladící prostředí Eclipse IDE pomocí GDB rozhraní. Umožňuje tak uživatelsky přívětivé ladění emulovaného kódu na úrovni zdrojových souborů i assembleru. Dále jsou v práci diskutovány pokročilé ladící techniky jako sledování userspace vláken, konstrukce call tree, zpětné krokování a další.
|
|
|
Output breakpoints for Java
Jelínek, Jakub ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Cílem této práce bylo navrhnout podporu výstupních breakpointů pro jazyk Java a implementovat navržené řešení včetně integrace do prostředí Eclipse IDE. Výstupní breakpoint představuje místo na výstupním médiu (např. soubor, standardní výstup nebo socket), kde se má vykonávání programu zastavit. Místo na výstupním médiu je zobecněno jako zastavovací podmínka - může představovat např. absolutní pozici, konkrétní řádek a znak nebo výskyt textového řetezce. Navržené rešení je založeno na pozorování tříd odpovědných za výstup pomocí vstupních breakpointů na metodách, které jsou standardní součástí jazyka Java. Řešení je závislé na konkrétní verzi a implementaci JRE, neboť pozoruje také metody, které nejsou součástí veřejného Java API.
|
|
|
Podpora "Edit and Continue" v prostředí SharpDevelop
Mareš, Jan ; Ježek, Pavel (vedoucí práce) ; Pop, Tomáš (oponent)
Vývoj velkých projektů vyžaduje ladicí nástroje, které usnadní vývojáři práci při hledání chyb. Pokud vývojář odhalí chybu v kódu během jeho krokování, je nejbezpečnější chybu opravit co nejdříve. Funkcionalita Edit and Continue je rozšíření ladicího nástroje pro .NET, která umožňuje opravit chybu bez nutnosti přerušit ladění aplikace. Tato práce se zabývá implementací této funkcionality pro nekomerční vývojové prostředí SharpDevelop.
|
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
host ::
RSS.