A detection and correction approach for overflow vulnerabilities in graphical user interfaces
Müftüoğlu, Can Arda.

A detection and correction approach for overflow vulnerabilities in graphical user interfaces

Müftüoğlu, Can Arda.

Yazar Ek Girişi
Müftüoğlu, Can Arda.

Yayın Bilgileri
[s.l.]: [s.n.], 2009.

Fiziksel Tanımlama
ix, 40 leaves.: ill. + 1 computer laser optical disc.

The objective of this thesis is to propose an approach for detecting overflow vulnerabilities such as buffer and boundary overflows by using static analysis and correcting these vulnerabilities by applying a correction mechanism which uses static code insertion. GUI is tested by specifying user interface requirements and converting this specification into an event-sequence model. Decision table notion is used for modeling the dependencies and boundary restrictions on input data and generating test cases. The test cases are applied to the GUI as inputs manually in real environment. The faults are observed. Then, the overflow vulnerability analysis tool is used to analyze the source code of the program. The deficiencies related to overflow vulnerabilities are found by static analysis. After that, the correction mechanism is applied to the deficient parts of the source code. The software is tested in real environment again. The proposed approach is observed to be successful for detecting and correcting overflow vulnerabilities in GUIs.

Konu Başlığı
Graphical user interfaces(Computer systems)

Yazar Ek Girişi
Tuğlular, Tuğkan.

Tüzel Kişi Ek Girişi
İzmir Institute of Technology. Computer Engineering.

Tek Biçim Eser Adı
Thesis (Master)--İzmir Institute of Technology:Computer Engineering.
İzmir Institute of Technology:Computer Engineering--Thesis (Master).

Elektronik Erişim
Access to Electronic Version.

KütüphaneMateryal TürüDemirbaş NumarasıYer NumarasıDurumu/İade Tarihi
IYTETezT000181QA76.9.U83 M94 2009Tez Koleksiyonu