but.committee	prof. Ing. Tomáš Hruška, CSc. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) prof. RNDr. Alexandr Meduna, CSc. (člen) Mgr. Ing. Pavel Očenášek, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na doplnění ze strany 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 " B ". Otázky u obhajoby: Můžete charakterizovat třídu (a uvést konkrétní příklad) regulárních výrazů (a případně textů pro vyhledávání), na které Váš nástroj překonává existujíc nástroje (grep, RE2, CA)? Nástroje jako jsou grep a RE2 těží z pokročilé optimalizace. Domníváte se, že výkonnost Vašeho nástroje lze značně vylepšit dalšími optimalizacemi (případně jakými)? Komise, například: Zvažoval jste i jiné metoty převodu regulárních výrazů?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Holík, Lukáš	en
dc.contributor.author	Horký, Michal	en
dc.contributor.referee	Češka, Milan	en
dc.date.accessioned	2021-06-25T07:55:32Z
dc.date.available	2021-06-25T07:55:32Z
dc.date.created	2021	cs
dc.description.abstract	Vyhledávání regulárních výrazů má ve vývoji softwaru nezastupitelné místo. Rychlost vyhledávání může ovlivnit použitelnost softwaru, a proto je na ni kladen velký důraz. Pro určité druhy regulárních výrazů mají standardní přístupy pro vyhledávání vysokou složitost. Kvůli tomu jsou náchylné k útokům založeným na vysoké náročnosti vyhledávání regulárních výrazů (takzvané ReDoS útoky). Regulární výrazy s omezeným opakováním, které se v praxi často vyskytují, jsou jedním z těchto druhů. Efektivní reprezentace a rychlé vyhledávání těchto regulárních výrazů je možné s použítím automatu s čítači. V této práci představujeme implementaci vyhledávání regulárních výrazů založeném na automatech s čítači v C++. Vyhledávání je implementováno v rámci RE2, rychlé moderní knihovny pro vyhledávání regulárních výrazů. V práci jsme provedli experimenty na v praxi používaných regulárních výrazech. Výsledky experimentů ukázaly, že implementace v rámci nástroje RE2 je rychleší než původní implementace v jazyce C#.	en
dc.description.abstract	Regular expression matching has an irreplaceable role in software development. The speed of the matching is crucial since it can have a significant impact on the overall usability of the software. However, standard approaches for regular expression matching suffer from high complexity computation for some kinds of regexes. This makes them vulnerable to attacks based on high complexity evaluation of regexes (so-called ReDoS attacks). Regexes with counting operators, which often occurs in practice, are one of such kind. Succinct representation and fast matching of such regexes can be archived by using a novel counting-set automaton. We present a C++ implementation of a matching algorithm based on the counting-set automaton. The implementation is done within the RE2 library, which is a fast state-of-the-art regular expression matcher. We perform experiments on real-life regexes. The experiments show that implementation within the RE2 is faster than the original C# implementation.	cs
dc.description.mark	B	cs
dc.identifier.citation	HORKÝ, M. Rychlejší než grep pomocí čítačů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	136720	cs
dc.identifier.uri	http://hdl.handle.net/11012/200097
dc.language.iso	en	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	regulární výraz	en
dc.subject	vyhledávání regulárních výrazů	en
dc.subject	omezené opakování	en
dc.subject	automat s čítači	en
dc.subject	automat s čítacími množinami	en
dc.subject	RE2	en
dc.subject	C++	en
dc.subject	C#	en
dc.subject	regular expression	cs
dc.subject	regex matching	cs
dc.subject	bounded repetition	cs
dc.subject	counting automata	cs
dc.subject	counting-set automata	cs
dc.subject	RE2	cs
dc.subject	C++	cs
dc.subject	C#	cs
dc.title	Rychlejší než grep pomocí čítačů	en
dc.title.alternative	Beat Grep with Counters, Challenge	cs
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2021-06-21	cs
dcterms.modified	2021-06-24-11:34:36	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136720	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 18:12:22	en
sync.item.modts	2021.11.12 17:39:30	en
thesis.discipline	Informační 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

Rychlejší než grep pomocí čítačů

Files

Original bundle

Collections