Framework pro statickou analýzu skriptů pro shell
| but.committee | doc. Ing. František Zbořil, CSc. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) doc. Ing. Stanislav Racek, CSc. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm Otázky u obhajoby: Proč je na obrázku 4.1 zařazena třída ReportEvent do dvou různých subsystémů? Proč jste zvolil barevné odlišení místo standardních prostředků UML? Zvažoval jste možnost použití existujícího lexikálního analyzátoru pro bash, příp. s vašimi modifikacemi? V kapitole 3.2 uvádíte nástroje, které jste studoval za účelem inspirace. Jakým způsbem jste se těmito nástroji inspiroval? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Smrčka, Aleš | cs |
| dc.contributor.author | Svoboda, František | cs |
| dc.contributor.referee | Kočí, Radek | cs |
| dc.date.created | 2012 | cs |
| dc.description.abstract | Cílem této práce je vytvoření systému pro statickou analýzu skriptů některého unixového shellu. Zmožných alternativ je jako hlavní předmět zájmu zvolen Bourne-again shell. Součástí projektu je seznámení se sprincipy statické analýzy, prostudování současných aplikací, které se touto problematikou zabývají, a také probádání syntaxe a architektury vybraného shellu. Výsledkem projektu je návrh a realizace modulárního systému, který umožní zásuvným modulům provádět různé analýzy skriptů. Systém zahrnuje správu zásuvných modulů, prostředky pro jejich interakci, zpracování výstupů a nastavení vstupu. Také je popsáno několik zásuvných modulů, které jsou schopny některé základní analýzy provádět. | cs |
| dc.description.abstract | The aim of this work is to create framework for static analysis of Unix shell scripts. Bourne-again shell is chosen as the primary subject of interest. The first part of the project discusses a principles of static analysis and current static analysis tools. The diploma thesis presents a framework based on modular system, which enables plug-ins to perform different kinds of analysis on scripts. Framework includes plug-in management, means of interaction, handling outputs and input setting. This thesis also contains the description of a few plug-ins, designed to perform basic analysis of scripts. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | SVOBODA, F. Framework pro statickou analýzu skriptů pro shell [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2012. | cs |
| dc.identifier.other | 78771 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/52715 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | statická analýza programů | cs |
| dc.subject | Unix | cs |
| dc.subject | shell | cs |
| dc.subject | skript | cs |
| dc.subject | bash | cs |
| dc.subject | zásuvný modul | cs |
| dc.subject | dynamická knihovna | cs |
| dc.subject | analýza toku dat | cs |
| dc.subject | analýza toku řízení | cs |
| dc.subject | static software analysis | en |
| dc.subject | Unix | en |
| dc.subject | shell | en |
| dc.subject | script | en |
| dc.subject | bash | en |
| dc.subject | plug-in | en |
| dc.subject | dynamic loadable library | en |
| dc.subject | data flow analysis | en |
| dc.subject | control flow analysis | en |
| dc.title | Framework pro statickou analýzu skriptů pro shell | cs |
| dc.title.alternative | A Framework for Static Analysis of Shell Scripts | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2012-06-15 | cs |
| dcterms.modified | 2020-05-09-23:43:08 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 78771 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:11:00 | en |
| sync.item.modts | 2025.01.17 11:53:40 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |