Preverjanje celovitosti kontrolnega pretokaŠtrosar Grmek, Loris (Avtor) Mihelič, Jurij (Mentor) kontrolni tokgraf kontrolnega tokacelovitost kontrolnega tokaatestiranje kontrolnega tokavrnitveno usmerjeno programiranjeMagistrska naloga obravnava zagotavljanje celovitosti kontrolnega toka programov. Napadi, kot je vrnitveno usmerjeno programiranje, izkoriščajo pomnilniške ranljivosti in napadalcu omogočajo prevzem nadzora nad izvajanjem programa. V nalogi razvijemo sistem za preverjanje, s katerim ugotovimo, ali se je program izvedel tako, kot je bil načrtovan. Predelamo simulator Spike za arhitekturo RISC-V, da omogoča spremljanje programa med izvajanjem. Pri tem beležimo vsako spremembo kontrolnega toka z veriženjem zgoščenih vrednosti, s čimer na koncu ustvarimo atest o izvajanju. Možne poti programa določimo s statično analizo, pri kateri iz strojne kode programa zgradimo graf kontrolnega toka in ga analiziramo. Tako pridobimo vse možne poti programa in njihove ustrezne zgoščene vrednosti. Atest preverimo s pričakovanimi vrednostmi in ugotovimo morebitno kršitev celovitosti. Sistem smo preverili z naborom programov in izvedbo napada z vrnitveno usmerjenim programiranjem nad ranljivim programom, ki ga sistem pravilno zazna.20252025-12-10 10:50:02Magistrsko delo/naloga176723VisID: 37867COBISS_ID: 262684675sl