Overview of Methods and Tools for Static Analysis of Python Program Code

U ovom završnom radu prikazani su alati i postupci statičke analize Python programskog koda. Python je dinamičan programski jezik koji omogućuje brzo pisanje i promjenu programskog koda. Iako se Python programi mogu brzo pisati, Python ne može napraviti statičku analizu programa kao statički programski jezici (C, C++, ...). Svaka greška u programskom kodu programeri moraju samostalno tražiti i ispravljati. Razvijanjem sve većih Python programa dolazi do mnogo pogrešaka koji su teški za provjeriti i oduzimaju puno vremena. Alat MyPy omogućuje statičku analizu Pythona programskog jezika.Za razliku od statičkih programskih jezika koji automatski provjeravaju programski kod, MyPy nudi dosta opcija za korištenje i pokretanje.In this final thesis, the tools and procedures for static analysis of the Python program code are presented. Python is a dynamic program language that allows you to quickly write and change the program. Although Python programs can be written quickly, Python can not make static analysis of its programs like static programming languages can(C, C ++, ...). Any errors in the code must be found and corrected by the programmer. By developing larger Python programs, many mistakes that are difficult to check arise and they waste a lot of time. The tool MyPy allows static analysis of the Python programming language. Unlike the static language programs which automatically check the code, MyPy offers plenty of options to use and run