| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva Pomoč

Naslov:STATIČNA ANALIZA PROGRAMSKE KODE ZA ISKANJE VARNOSTNIH LUKENJ
Avtorji:ID Napotnik, Rok (Avtor)
ID Potočnik, Božidar (Mentor) Več o mentorju... Novo okno
Datoteke:.pdf MAG_Napotnik_Rok_2011.pdf (2,84 MB)
MD5: 28BE59215F1AB8C42AFD501CBC18AA88
PID: 20.500.12556/dkum/6c306be4-e6bb-4f9b-b93b-4287e3ad82a3
 
Jezik:Slovenski jezik
Vrsta gradiva:Diplomsko delo
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis: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.
Ključne besede:varnostne ranljivosti, statična analiza, programska koda, preverjanje z modeli
Kraj izida:Maribor
Založnik:[R. Napotnik]
Leto izida:2010
PID:20.500.12556/DKUM-16443 Novo okno
UDK:004.43.03(043.2)
COBISS.SI-ID:15957526 Novo okno
NUK URN:URN:SI:UM:DK:MWHXLICP
Datum objave v DKUM:31.01.2012
Število ogledov:2250
Število prenosov:210
Metapodatki:XML DC-XML DC-RDF
Področja:KTFMB - FERI
:
Kopiraj citat
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share



Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Sekundarni jezik

Jezik:Angleški jezik
Naslov:STATIC SOURCE CODE ANALYSIS FOR SEARCHING SECURITY VULNERABILITIES
Opis:In this diploma thesis, we studied static analysis techniques for searching security vulnerabilities in program source code. We reviewed several methods for searching security vulnerabilities, one of them we also implemented in a tool named StarkC. By using this tool, we analysed the source code of a non-trivial program, written in C language. We analysed the obtained results and compared them with results of related tools for static analysis. Based on these results, we summed-up our findings, flaws and possible improvements in the conclusion.
Ključne besede:security vulnerabilities, static analysis, software, model checking


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici