A detection and correction approach for overflow vulnerabilities in graphical user interfaces
Grafik kullanıcı arayüzlerindeki taşma zayıflıkları için bir belirleme ve düzeltme yaklaşımı
- Tez No: 252265
- Danışmanlar: YRD. DOÇ. DR. TUĞKAN TUĞLULAR
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2009
- Dil: İngilizce
- Üniversite: İzmir Yüksek Teknoloji Enstitüsü
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu çalışmada, arabellek ve sınır değeri gibi taşma zayıflıklarının statik analiz yöntemiyle belirlenmesi ve bu zayıflıkların statik kod ekleme yöntemini kullanan bir düzeltme mekanizmasıyla düzeltilmesine yönelik bir yaklaşım önerilmektedir. Grafik kullanıcı arayüzleri, kullanıcı arayüzü gereksinimlerinin belirlenmesi ve bu gereksinimlerin bir etkinlik dizisi modeline dönüştürülmesi ile sınanmaktadır. Karar tablosu kavramı, girdi verisi üzerindeki sınır değeri kısıtlamaları ve bağımlılıklarını modellemek ve test durumlarını oluşturmak için kullanılmaktadır. Oluşturulan test durumları, reel bir ortamda grafik kullanıcı arayüzüne girdi olarak uygulanmaktadır. Hatalar yakalanmaktadır. Sonrasında, geliştirilen taşma zayıflığı analiz aracı programın kaynak kodunu analiz etmektedir. Taşma zayıflıklarının yarattığı eksiklikler, statik analiz yöntemiyle bulunmuştur. Daha sonra, önerilen düzeltme mekanizması, kaynak kodunun eksikliği olan kısımlarına uygulanmıştır. Yazılım reel ortamda tekrar sınanmıştır. Öne sürülen yaklaşımın, taşma zayıflıklarının belirlenmesi ve düzeltilmesinde başarılı bir yaklaşım olduğu görülmüştür.
Özet (Çeviri)
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.
Benzer Tezler
- İklimlendirme sistemleri üzerinde makine öğrenmesi ile anomali tespiti
Anomaly detection with machine learning on air conditioning systems
REFİK KİBAR
Yüksek Lisans
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MUHAMMED FATİH ADAK
DR. ÖĞR. ÜYESİ KEVSER OVAZ AKPINAR
- Mil-Std 1553 tabanlı sistemler için yeni bir saldırı tespiti yaklaşımı
A new intrusion detection approach for Mil-Std 1553 based systems
YUNUS EMRE ÇİLOĞLU
Yüksek Lisans
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. ŞERİF BAHTİYAR
- Lityum ion pil yangınlarına müdahalede endotermik sıvı katkılı su sisi kullanılan bir otomasyon sistemi geliştirilmesi
Development of an automation system using endothermic liquid additive water mist in intervention of lithium-ion battery fires
FİKRET KIR
Yüksek Lisans
Türkçe
2025
Makine MühendisliğiSakarya ÜniversitesiYangın Güvenliği ve Yanma Ana Bilim Dalı
PROF. DR. HAKAN SERHAD SOYHAN
DR. ZAFER KAHRAMAN
- V42 önerisiyle MNP protokolünün karşılaştırmalı olarak incelenmesi ve MNP4 protokolünün benzetimi
V42 Recommendation and MNP protocol
AHMET BOZKURT
Yüksek Lisans
Türkçe
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. BÜLENT ÖRENCİK
- Kafes kodlamalı hızlı frekans kaydırmalı anahtarlama tekniğinin otamatik yineleme istemli sistemlere uyarlanması
The Application of trellis coded fast frequency shift keying modulation to the automatic repeat request systems
TANER DURAK
Yüksek Lisans
Türkçe
1993
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiDOÇ.DR. H. ÜMİT AYGÖLÜ