Dizajn i implementacija nadogradnje Erlanga za kontrolu javnog sučelja modula

master's thesis

• Title (english): Design and implementation of Erlang enhancement for control of public module interface
• Author: Marko Minđek
• Mentor: Mario Kušek (mentor)
• Committee member: Mario Kušek (predsjednik povjerenstva)
• Committee member: Gordan Ježić (član povjerenstva)
• Committee member: Saša Dešić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2023-07-14, Croatia

Abstract

Osnovna grad̄evna jedinica u Erlangu su moduli koji sadrže javne i privatne funk-
cije. Neke funkcije moraju biti javne jer su zahtijevane od strane sučelja (npr. gen_server)
koji od korisnika zahtijevaju odred̄ene javne funkcije s točno definiranim brojem pa-
rametara. Iako javne, takve funkcije nisu namijenjene da ih korisnik poziva direktno
jer mogu izazvati neželjeno ponašanje. Ovom nadogradnjom uvela bi se nova vrsta
funkcija koje bi bilo moguće pozvati samo iz nekih modula što bi rezultiralo većom
kontrolom javnog sučelja modula, boljom čitljivošću i samim time jednostavnijim ko-
rištenjem modula od strane drugih korisnika. Vaš zadatak je predložiti i implementirati
rješenje za ograničavanje dosega javnih funkcija u Erlangu. Rješenje mora omogućiti
uspješno prevod̄enje modula koji koriste ograničavanje dosega javnih funkcija i uba-
citi dodatne informacije u BEAM datoteke koje se mogu koristiti od strane statičkih
analizatora koda ili BEAM virtualnog stroja za provjeru valjanosti funkcijskih poziva.

Abstract (english)

The fundamental building block in Erlang is a module that contains public and
private functions. Some functions have to be public because of the interfaces (e.g.,
gen_server) which require users to implement public functions with exact names and
argument counts. However, even though these functions are public, they are not meant
to be called directly by users because it can cause unwanted behavior. This feature
introduces a new type of function that can only be called from specific modules, re-
sulting in greater control over the module’s public interface, better readability, and
simpler module usage.
Your task is to propose and implement a solution to limit the scope of public fun-
ctions in Erlang. The solution must allow successful compilation of modules that use
the scope limitation and must insert additional information into BEAM files. This in-
formation can be used by static code analysis tools or the BEAM virtual machine to
check the validity of function calls.

• Keywords: Erlang; vidljivost funkcija; doseg funkcija; BEAM; xref; statička analiza
• Keywords (english): Erlang; function visibility; function scope; BEAM; xref; static analysis
• Language: croatian
• URN:NBN: urn:nbn:hr:168:707330
• 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 09:51:42