Static Code Analysis Tool for the Apex Programming Language – Belek Omurzakov
Belek Omurzakov
Bachelor's thesis
Static Code Analysis Tool for the Apex Programming Language
Statický analyzátor jazyka Apex
Anotácia:
Tato práce se zabývá vývojem softwarového nástroje pro statickou analýzu kódu, který je speciálně navržen pro programovací jazyk Apex. Úvodní část práce poskytuje detailní přehled již existujících řešení v této oblasti. Rozebrány jsou především nedostatky v provádění komplexní analýzy toku dat v jazyce. Převedením derivačního stromu zdrojového kódu do vnitřní reprezentace grafu toku řízení a vybavením …viacAbstract:
This thesis presents the development of a static code analysis tool specifically designed for the Apex programming language. The study began with a detailed review of existing static analysis tools, which revealed limitations in their ability to perform complex data flow analysis for Apex. To address these shortcomings, a prototype tool was developed, starting by converting the source code's parse …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 6. 6. 2024
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2024
- Vedúci: doc. Dr. Ing. Jiří Rybička
- Oponent: Pavel Haluza, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Mendelova univerzita v Brně, Provozně ekonomická fakultaMendel University in Brno
Faculty of Business and EconomicsBachelor programme / specializace:
Open Informatics / Scope for Open Informatics
Práce na příbuzné téma
-
Reduced product of abstract domains
Jan Dupal -
Integer abstract domains
Tomáš Brukner -
Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky
Kamil Čupr -
Abstraktní interpretace
Jakub Kermaschek -
Data flow analysis of email records in the cloud
Hana Kaspříková -
Meter Data Management Systems in Europe: a cluster analysis of energy data exchange policies
Andrea Corsini -
Flow-based Analysis of QUIC Protocol
Urvekkumar Chandravadan Shah -
Stream-Based IP Flow Analysis
Milan Čermák