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

undergraduate thesis

• Title (english): Overview of Methods and Tools for Static Analysis of Python Program Code
• Author: Marko Ivančić
• Mentor: Klemo Vladimir (mentor)
• Committee member: Klemo Vladimir (predsjednik povjerenstva)
• Committee member: Goran Delač (član povjerenstva)
• Committee member: Marin Šilić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2018-07-13, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

Abstract

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.

Abstract (english)

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.

• Keywords: MyPy; Python; PyCharm; oznaka tipa; statička analiza
• Keywords (english): MyPy; Python; PyCharm; type hints; static analysis
• Language: croatian
• URN:NBN: urn:nbn:hr:168:153662
• Study programme: Title: Computing; Study programme type: university; Study level: undergraduate; Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2019-03-13 20:58:47