Korištenje statičke analize koda za unaprjeđivanje sustava za vrednovanje programskog koda

master's thesis

• Title (english): Using static code analysis to enhance automated system for assessment of software
• Author: Matej Butković
• Mentor: Ljiljana Brkić (mentor)
• Committee member: Ljiljana Brkić (predsjednik povjerenstva)
• Committee member: Igor Mekterović (član povjerenstva)
• Committee member: Slaven Zakošek (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2023-07-04, Croatia

Abstract

Dinamička analiza programskog koda i statička analiza programskog koda su dvije različite metode za analizu programskog koda.
Dinamička analiza programskog koda provodi se izvršavanjem programa i koristi se za pronalaženje grešaka kao što su greške u radu s memorijom, greške u logici programa, neispravno ponašanje programa u specifičnim uvjetima itd.
Statička analiza programskog koda provodi se bez izvršavanja programa i temelji se na analizi izvornog koda.
U radu su analizirani postojeći alati i programska podrška za statičku analizu koda. Odabran je pristup analize korištenjem apstraktnog sintaksnog stabla za statičku analizu koda kao nadopuna i nadogradnja postojećoj metodi dinamičke analize koda u sustavu za ocjenjivanje koda. U sklopu rada razvijen je takav sustav koji podržava analizu i ocjenjivanje zadataka u proceduralnom jeziku C kao i u neproceduralnom jeziku SQL.

Abstract (english)

Dynamic code analysis and static code analysis are two different methods for analyzing code. Dynamic code analysis is performed by executing the program and is used to find errors such as memory-related errors, program logic errors, incorrect program behavior under specific conditions, etc. Static code analysis is performed without executing the program and is based on analysis of the source code.
This work analyzed existing tools and software for static code analysis. The approach of using abstract syntax trees for static code analysis was chosen as a complement and upgrade to the existing method of dynamic code analysis in the code assessment system. A system that supports the analysis and assessment of tasks in the procedural language C, as well as in the non-procedural language SQL was implemented to demonstrate the concepts in this paper.

• Keywords: dinamička analiza; statička analiza; apstraktno sintaksno stablo; C; SQL; automatsko ocjenjivanje; ocjenjivanje koda
• Keywords (english): dynamic analysis; static analysis; abstract syntaxt tree; C; SQL; automatic assessment; code assessment
• Language: croatian
• URN:NBN: urn:nbn:hr:168:999245
• Study programme: Title: Computing; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2023-10-11 08:35:02