<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://dk.um.si/IzpisGradiva.php?id=16443"><dc:title>STATIČNA ANALIZA PROGRAMSKE KODE ZA ISKANJE VARNOSTNIH LUKENJ</dc:title><dc:creator>Napotnik,	Rok	(Avtor)
	</dc:creator><dc:creator>Potočnik,	Božidar	(Mentor)
	</dc:creator><dc:subject>varnostne ranljivosti</dc:subject><dc:subject>statična analiza</dc:subject><dc:subject>programska koda</dc:subject><dc:subject>preverjanje z modeli</dc:subject><dc:description>V 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.      </dc:description><dc:publisher>[R. Napotnik]</dc:publisher><dc:date>2010</dc:date><dc:date>2010-10-18 16:51:27</dc:date><dc:type>Diplomsko delo</dc:type><dc:identifier>16443</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>