Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 169 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

ĐẠI HỌC QUÓC GIA TP. Hó CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HÁIKÉT HỢP PHÂN TÍCH TỈNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DựNG ĐÒ THỊ Ll ÔNG ĐIỀU

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân KHIÊN PHỤC vụ PHÂN TÍCH MÀ NHỊ PHÂNLUẬN ÁN TIÉN SÌ KỲ THUẬTTP. HÔ CHỈ MINH NẢM 2019ĐẠI HỌC QƯÓC GIA TP. HCMTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HAIKÉT

HỢP PHÂN TÍCH TĨNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DƯNG ĐÒ THỊ LUÔNG ĐIÈƯ KHIẾN PHỤC vụ PHÂN TÍCH MÀ NHỊ PHẢNChuyên ngành: KHOA HỌC MÁY TÍNHMà sò chu Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

yên ngành: 62.48.01.01Phàn biện dộc lập 1: PGS TS. Nguyễn Thanh BìnhPhân biện độc lập 2: PGS. TS. Vù Thanh NguyênPhan biện 1: PGS TS. Nguyền Đinh Thuầ

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

nPhan biện 2: TS. Vò Văn KhangPhân biện 3: TS. Nguyên Đửc DùngNGƯỜI HƯỚNG DẤN KHOA HỌCPGS. TS. QVẢN THÀNH THƠLỜI CAM ĐOANTác giã xiu cam đoan đày là c

ĐẠI HỌC QUÓC GIA TP. Hó CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HÁIKÉT HỢP PHÂN TÍCH TỈNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DựNG ĐÒ THỊ Ll ÔNG ĐIỀU

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân nguồn nào và dưới bat kỳ hình thức nào. Việc tham khảo các nguồn tài liệu (nếu có) đà được thực hiệu trích dãn vả ghi uguõu tài liệu tham khao đũng th

eo yen cầu.Tác già luận án(chừ Ả;ý)Nguyền Minh ỉlaiTÓM TẤT LUẬN ÁNPhán rich chương ỉrình là một lỉnh vực đang thu hút lất nhiều sự chủ ý cua các nhà n Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

ghiên cứu. Tuy nhiên, một trong những van để lớn của b.ài toán nãy nam ỡ việc xây dựng đồ thị luồng điều khiển của chương trinh nhị phân. Đây lã một k

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

hó khăn lớn do đồ thi luồng điều khiển thường được tạo ra vã thay đối một cách ngấu nhiên do nỉiừng kỳ thuật như mà tự thay đôi. Tuy nhiên, khó khăn đ

ĐẠI HỌC QUÓC GIA TP. Hó CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HÁIKÉT HỢP PHÂN TÍCH TỈNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DựNG ĐÒ THỊ Ll ÔNG ĐIỀU

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân hướng tiếp cận kiêm tra thực thi ký hiệu động kết hợp quá trinh phân tích tĩnh vã kiêm tra động đẽ xây dựng đồ thị luồng điểu khiển tử mà nhị phân của

chương trinh. Mục tiêu của hướng tiếp cận này lã đẽ giâm sự không chính xác trong xử lý lênh nhay động cùa quá trình xây dụng dồ thi luồng điều khiển Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

.Các đóng góp chính của luận án được tóm tăt như sau:i. Luận án đề xuất một khung thức tồng quát cho xây dựng đồ thi luồng điều khiên tir mã nhi phân

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

của chương ti inh một cách tự động.11Luận án đưa ra giải pháp đẽ tăng tốc quá trình thực thi cùa chương trinh bang cách áp dung giai thuật song song h

ĐẠI HỌC QUÓC GIA TP. Hó CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HÁIKÉT HỢP PHÂN TÍCH TỈNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DựNG ĐÒ THỊ Ll ÔNG ĐIỀU

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân àn. Luận án tập trung vào vấn đề nhận diện chương trinh dóng gói trên mâ độc với hai hướng tiểp cận: (i) sứ dụng kiềm tra Chi binh phương; (ii) sừ dụn

g mò hĩnh Markov ân.iv.Luận án trinh bày giãi pháp nhận diện mà độc dựa trẽn phương pháp học sâu.V. Cuối cũng, luận án cùng đã xây dụng một công cụ ho Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

ãn chinh có tên là BE-PƯM cho việc xây dựng đồ thị luồng điều khiển từ mã nhị phân.Từ khóa, phàn tích chương trình, đồ thi luồng diều khiến. thực thi

Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

ký hiệu, phàn tích tình, kiêm tra động.iĩ

ĐẠI HỌC QUÓC GIA TP. Hó CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỀN MINH HÁIKÉT HỢP PHÂN TÍCH TỈNH VÀ KIẺM TRA ĐỌNG TRONG VIỆC XÂY DựNG ĐÒ THỊ Ll ÔNG ĐIỀU