Pregled postupaka i alata za statičku analizu Python programskog koda

završni rad

• Naslov (engleski): Overview of Methods and Tools for Static Analysis of Python Program Code
• Autor: Marko Ivančić
• Mentor: Klemo Vladimir (mentor)
• Član povjerenstva: Klemo Vladimir (predsjednik povjerenstva)
• Član povjerenstva: Goran Delač (član povjerenstva)
• Član povjerenstva: Marin Šilić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2018-07-13, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

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.

Sažetak (engleski)

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.

• Ključne riječi: MyPy; Python; PyCharm; oznaka tipa; statička analiza
• Ključne riječi (engleski): MyPy; Python; PyCharm; type hints; static analysis
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:153662
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-03-13 20:58:47