Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
|
|
SLO
|
ENG
|
Cookies and privacy
DKUM
EPF - Faculty of Business and Economics
FE - Faculty of Energy Technology
FERI - Faculty of Electrical Engineering and Computer Science
FF - Faculty of Arts
FGPA - Faculty of Civil Engineering, Transportation Engineering and Architecture
FKBV - Faculty of Agriculture and Life Sciences
FKKT - Faculty of Chemistry and Chemical Engineering
FL - Faculty of Logistic
FNM - Faculty of Natural Sciences and Mathematics
FOV - Faculty of Organizational Sciences in Kranj
FS - Faculty of Mechanical Engineering
FT - Faculty of Tourism
FVV - Faculty of Criminal Justice and Security
FZV - Faculty of Health Sciences
MF - Faculty of Medicine
PEF - Faculty of Education
PF - Faculty of Law
UKM - University of Maribor Library
UM - University of Maribor
UZUM - University of Maribor Press
COBISS
Faculty of Business and Economic, Maribor
Faculty of Agriculture and Life Sciences, Maribor
Faculty of Logistics, Celje, Krško
Faculty of Organizational Sciences, Kranj
Faculty of Criminal Justice and Security, Ljubljana
Faculty of Health Sciences
Library of Technical Faculties, Maribor
Faculty of Medicine, Maribor
Miklošič Library FPNM, Maribor
Faculty of Law, Maribor
University of Maribor Library
Bigger font
|
Smaller font
Introduction
Search
Browsing
Upload document
Statistics
Login
First page
>
Show document
Show document
Title:
STATIČNA ANALIZA PROGRAMSKE KODE ZA ISKANJE VARNOSTNIH LUKENJ
Authors:
ID
Napotnik, Rok
(
Author
)
ID
Potočnik, Božidar
(
Mentor
)
More about this mentor...
Files:
MAG_Napotnik_Rok_2011.pdf
(2,84 MB)
MD5: 28BE59215F1AB8C42AFD501CBC18AA88
PID:
20.500.12556/dkum/6c306be4-e6bb-4f9b-b93b-4287e3ad82a3
Language:
Slovenian
Work type:
Undergraduate thesis
Organization:
FERI - Faculty of Electrical Engineering and Computer Science
Abstract:
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.
Keywords:
varnostne ranljivosti
,
statična analiza
,
programska koda
,
preverjanje z modeli
Place of publishing:
Maribor
Publisher:
[R. Napotnik]
Year of publishing:
2010
PID:
20.500.12556/DKUM-16443
UDC:
004.43.03(043.2)
COBISS.SI-ID:
15957526
NUK URN:
URN:SI:UM:DK:MWHXLICP
Publication date in DKUM:
31.01.2012
Views:
2248
Downloads:
210
Metadata:
Categories:
KTFMB - FERI
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
Copy citation
Average score:
(0 votes)
Your score:
Voting is allowed only for
logged in
users.
Share:
Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.
Secondary language
Language:
English
Title:
STATIC SOURCE CODE ANALYSIS FOR SEARCHING SECURITY VULNERABILITIES
Abstract:
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.
Keywords:
security vulnerabilities
,
static analysis
,
software
,
model checking
Comments
Leave comment
You must
log in
to leave a comment.
Comments (0)
0 - 0 / 0
There are no comments!
Back
