Razvoj abstraktnega stroja s preverjanjem kodePoženel, Matic (Avtor) Mihelič, Jurij (Mentor) abstraktni strojpreverjanje kodeenkratno prirejanjesledenje pretoku informacijVarno izvajanje programov zahteva strogo preverjanje kode, preden se program sploh izvede. Varnost lahko še dodatno okrepimo s sledenjem pretoku informacij, ki omogoča nadzor nad tem, kako se vrednosti prenašajo med različnimi deli sistema, predvsem standardnim vhodom in izhodom. V pričujočem delu je zasnovan eksperimentalni abstraktni stroj, katerega računski model združuje lastnosti skladovne in registrske arhitekture. Vrednosti na skladu so nespremenljive, nadzorni tok pa je omejen na pogojne stavke in klice funkcij. Stroj je implementiran kot knjižnica v jeziku Rust ter vsebuje izvajalnik za konkretno izvajanje programov in preverjalnik, ki pred izvajanjem opravi preverjanje kode z uporabo intervalov, ki predstavljajo možne vrednosti med izvajanjem. Oba dela stroja podpirata tudi sledenje pretoku informacij. Stroju je potrebno podati varnostno politiko, ki določa pravila za sledenje. Da se izognemo plazenju oznak, je s funkcijami za siromašenje mogoče spremeniti oznake podatkov iz strogih v ohlapne. Izdelani stroj uspešno preverja programe pred izvajanjem in izvaja sledenje pretoku informacij.20262026-09-14 12:05:09Diplomsko delo/naloga187782sl