Original title: Ověření vlastností SQL kódu
Translated title: Checking SQL Code Properties
Authors: Bali, Filip ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Document type: Master’s theses
Year: 2023
Language: slo
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [slo] [eng]
Táto diplomová práca sa zaoberá kontrolou vlastností SQL kódu na základe statickej analýzy s využitím preddefinovaných pravidiel. Pravidlo predstavuje základný element kontroly. Užívateľ si môže definovať vlastné pravidlo a začleniť ho do kontroly. Pravidlo typicky obsahuje súbor podmienok obsiahnutých v algoritme, ktorý kontroluje uzly v abstraktnom syntaktickom strome. Ten je vytvorený zo vstupného SQL príkazu a prispôsobený tak, aby bolo možné nad jeho uzlami aplikovať pravidlá. Ak pravidlo zistí nezrovnalosť, potom môže vytvoriť hlásenie. Potom sú tieto hlásenia zobrazené na zvolený výstup. Na základe práce bol implementovaný program s otvoreným kódom v programovacom jazyku Python3. Tento program je verejne dostupný. This thesis focuses on checking the properties of SQL code based on static analysis using predefined rules. The rule represents a basic element of the check. The user can define their own rule and include it in the check. A rule usually contains a set of conditions that are contained in an algorithm that checks nodes in an abstract syntactic tree. Abstract syntactic tree is created from an input SQL statement and customized so that rules can be applied over its nodes. If the rule detects an error, then it can generate a report. These reports are then displayed on the selected output. Based on the thesis, an open source program in the Python3 programming language was implemented. This program is publicly available.
Keywords: Context analysis; Open source; Program; Rules; SQL code; Static code analysis

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/213189

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


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