335494



ABSTRACTS VIEWS

6032



VIEWS & DOWNLOAD

Browsing by Author Quản, Thành Thơ

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results [1 - 1] / 1
  • thvnu400000443.pdf.jpg
  • Luận văn, Luận án (Theses)


  • Authors: Nguyễn, Minh Hải;  Advisor: Quản, Thành Thơ (2019)

  • Phân tích chương trình là một lĩnh vực đang thu hút rất nhiều sự chú ý của các nhà nghiên cứu. Tuy nhiên, một trong những vấn đề lớn của bài toán này nằm ở việc xây dựng đồ thị luồng điều khiển của chương trình nhị phân. Đây là một khó khăn lớn do đồ thị luồng điều khiển thường được tạo ra và thay đổi một cách ngẫu nhiên do những kỹ thuật như mã tự thay đổi. Tuy nhiên, khó khăn điển hình trong lĩnh vực xây dựng đồ thị luồng điều khiển là quá trình xử lí những câu lệnh nhảy không trực tiếp. Trong luận án này, chúng tôi đề xuất hướng tiếp cận kiểm tra thực thi ký hiệu động kết hợp quá trình 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 trì...