Static analysis of Python code

Jakub Kiska

Bakalářská práce

Anotace:

Statická analýza je jedna z niekoľkých metód na hľadanie chýb v kóde. Dnes existuje mnoho nástrojov určených na statickú analýzu kódu písaného v jazyku Python. Hlavným cieľom tejto práce je ohodnotiť a porovnať päť rôznych nástrojov, ktoré sa používajú na tento účel. Každý nástroj analyzoval niekoľko kódov so známymi chybami a vybraný projekt typu open source. Osobitná pozornosť bola venovaná množstvu ohlásených problémov, ich závažnosti, falošne pozitívnym výsledkom a užívateľskému pohodliu. Na základe výsledkov vzniklo finálne odporúčanie. Nástroje sa však výrazne líšili. Z toho dôvodu je finálne odporúčanie rozdelené na niekoľko častí, každá podľa preferencií užívateľa.

Abstract:

Static analysis is one of several methods used for finding bugs in code. Many tools used today can perform static analysis on code written in Python. The primary goal of this thesis is to evaluate and compare five different tools used for this purpose. Every tool analyzed several test cases with known bugs and the selected open-source project. Particular attention has been paid to the number of reported issues, their severity, false positives, and user experience. The acquired results serve as a base for a final recommendation. Tools differed significantly. Therefore, the recommendation is split into several parts based on the preferences of a user.

Keywords

DeepCode, DeepSource, Pyflakes, Python, Pylint, SonarQube, static analysis

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 29. 6. 2021
• Vedoucí: RNDr. Lukáš Němec
• Oponent: Mgr. Marek Sýs, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika