STATIČNA ANALIZA PROGRAMSKE KODE ZA ISKANJE VARNOSTNIH LUKENJNapotnik, Rok (Avtor) Potočnik, Božidar (Mentor) varnostne ranljivostistatična analizaprogramska kodapreverjanje z modeliV diplomskem delu smo preučili pristop statične analize programske kode za iskanje varnostnih lukenj. Obravnavali smo nekatere postopke za iskanje varnostnih lukenj, enega izmed njih pa tudi implementirali v orodju StarkC. S tem orodjem smo analizirali netrivialen primer programske kode, napisane v jeziku C. Dobljene rezultate smo analizirali ter jih primerjali z rezultati sorodnih orodij za statično analizo. Na podlagi teh rezultatov smo v zaključku strnili ugotovitve, pomanjkljivosti ter možne izboljšave. [R. Napotnik]20102010-10-18 16:51:27Diplomsko delo16443UDK: 004.43.03(043.2)COBISS_ID: 15957526NUK URN: URN:SI:UM:DK:MWHXLICPsl