Tìm kiếm
Đang tải khung tìm kiếm
Kết quả 1 đến 1 của 1

    THẠC SĨ Kỹ thuật phân tích chương trình tĩnh cho bài toán phân tích hình dạng bộ nhớ Heap

    D
    dream dream Đang Ngoại tuyến (18524 tài liệu)
    .:: Cộng Tác Viên ::.
  1. Gửi tài liệu
  2. Bình luận
  3. Chia sẻ
  4. Thông tin
  5. Công cụ
  6. Kỹ thuật phân tích chương trình tĩnh cho bài toán phân tích hình dạng bộ nhớ Heap

    1
    MỤC LỤC
    MỤC LỤC . 1
    DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT . 3
    DANH SÁCH HÌNH VẼ 4
    MỞ ĐẦU . 5
    CHƯƠNG 1. GIỚI THIỆU CHUNG 7
    1.1. Đặt vấn đề 7
    1.2. Giới thiệu phân tích chương trình tĩnh 7
    1.3. Điểm mạnh và điểm yếu của phân tích chương trình tĩnh 8
    1.4. Các kỹ thuật phân tích chương trình tĩnh 8
    CHƯƠNG 2. LÝ THUYẾT NỀN TẢNG . 11
    2.1. Nền tảng phân tích ngữ nghĩa của chương trình . 11
    2.1.1. Lý thuyết giàn 11
    2.1.2. Thuộc tính đóng . 13
    2.1.3. Phương trình và bất phương trình . 15
    2.1.4. Lý thuyết điểm cố định 16
    2.1.5. Các kỹ thuật tăng tốc độ hội tụ widening/narrowing 18
    2.2. Kết luận chương 22
    CHƯƠNG 3. PHÂN TÍCH HÌNH DẠNG HEAP 23
    3.1. Phân tích con trỏ . 23
    3.1.1. Thuật toán Andersen 23
    3.1.2. Thuật toán Steensgaard 25
    3.2. Phân tích con trỏ liên thủ tục 26
    3.3. Phân tích hình dạng bộ nhớ heap . 27
    3.2.1. Kỹ thuật phân tích 29
    3.2.2. Đánh giá . 33
    3.3. Kết luận chương . 33
    CHƯƠNG 4. THỰC NGHIỆM 34 2
    4.1. Tổng quan về Valgrind 34
    4.1.1. Công cụ Memcheck . 35
    4.1.2. Biên dịch chương trình với Memcheck . 37
    4.1.3. Lệnh kiểm tra trong Memcheck 37
    4.2. Phân tích heap của chương trình trong Valgrind 39
    4.2.1. Rò rỉ bộ nhớ . 39
    4.2.2. Sử dụng bộ nhớ không được khởi tạo . 40
    4.2.3. Lỗi sử dụng không đúng giữa malloc/ new/ new[] với free/
    delete/ delete[] 43
    4.2.4. Thực nghiệm trên chương trình có mã nguồn lớn . 45
    KẾT LUẬN . 47
    TÀI LIỆU THAM KHẢO . 48
    PHỤ LỤC A 49
    PHỤ LỤC B 51
    PHỤ LỤC C 55

    Xem Thêm: Kỹ thuật phân tích chương trình tĩnh cho bài toán phân tích hình dạng bộ nhớ Heap
    Nội dung trên chỉ thể hiện một phần hoặc nhiều phần trích dẫn. Để có thể xem đầy đủ, chi tiết và đúng định dạng tài liệu, bạn vui lòng tải tài liệu. Hy vọng tài liệu Kỹ thuật phân tích chương trình tĩnh cho bài toán phân tích hình dạng bộ nhớ Heap sẽ giúp ích cho bạn.
    #1
  7. Đang tải dữ liệu...

    Chia sẻ link hay nhận ngay tiền thưởng
    Vui lòng Tải xuống để xem tài liệu đầy đủ.

    Gửi bình luận

    ♥ Tải tài liệu

social Thư Viện Tài Liệu
Tài liệu mới

Từ khóa được tìm kiếm

Nobody landed on this page from a search engine, yet!

Quyền viết bài

  • Bạn Không thể gửi Chủ đề mới
  • Bạn Không thể Gửi trả lời
  • Bạn Không thể Gửi file đính kèm
  • Bạn Không thể Sửa bài viết của mình
  •  
DMCA.com Protection Status