Static Code Analysis Tool for the Apex Programming Language

Belek Omurzakov

Bakalářská práce

Statický analyzátor jazyka Apex

Anotace:

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 pokročilými funkcemi statické analýzy byl vyvinut prototyp nástroje, který odstraňuje stávající nedostatky. Vzniklý nástroj, navržený jako aplikace příkazového řádku, se bez problému integruje do CI/CD pipeline, automatizuje proces analýzy a zajišťuje důsledné uplatňování kontroly kvality kódu v průběhu celého vývojového cyklu. Z testovací fáze pak vyplývá, že nový nástroj je schopen účinně identifikovat zejména problémy, které současné analyzátory často přehlížejí a lze jej tedy považovat za významný krok směrem k účinnějším a efektivnějším nástrojům statické analýzy pro jazyk Apex.

Abstract:

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 tree into an intermediate representation in the form of a control flow graph, and incorporating advanced static analysis features. Designed as a command-line application, this tool integrates seamlessly into CI/CD pipelines, automating the analysis process and ensuring the consistent application of code quality checks throughout the development lifecycle. Results from the testing and evaluation phase indicate that the tool can effectively identify and mitigate issues, particularly in a subset of problems often overlooked by current analyzers. This work serves as a stepping stone towards developing a more comprehensive static analysis tool for the Apex programming language.

Klíčová slova

statická analýza, Apex, Salesforce, analýza toku dat, graf toku řízení, abstraktní interpretace, symbolické vykonávání

Keywords

static analysis, Apex, data flow analysis, Salesforce, control flow graph, abstract interpretation, symbolic execution

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 11. 5. 2024

Obhajoba závěrečné práce

• Vedoucí: doc. Dr. Ing. Jiří Rybička
• Oponent: Pavel Haluza, Ph.D.

Mendelova univerzita v Brně

Provozně ekonomická fakulta

Bakalářský studijní program / specializace:
Otevřená informatika / Zaměření pro Otevřenou informatiku