Libman Proba

Libman Proba

Libman Proba (LIBMAN) là một trong những công cụ phổ biến nhất để kiểm tra tính bảo mật của mã trong ngôn ngữ lập trình C++.

Mục đích của công cụ này là kiểm tra các lỗ hổng trong mã chương trình để bảo mật và quyền riêng tư dữ liệu. Thử nghiệm này được thiết kế để giúp các nhà phát triển phân tích tính bảo mật của chương trình của họ.

Để làm điều này, nó phân tích mã và thiết lập mối tương quan giữa các biến, hàm và ký hiệu bảng nhất định. Điều này có thể tạo ra cảnh báo về khả năng tạo một chương trình an toàn. Hơn nữa, nó kiểm tra tính hợp lệ của mối quan hệ giữa các biến, xác định các trường hợp thông tin trong một biến có thể được trích xuất từ ​​một biến khác.

Để vượt qua bài kiểm tra libman, bạn phải viết một hàm (hoặc khối hàm) trả về địa chỉ của biến cục bộ x trong hàm fxxf(x). Ví dụ: tệp tiêu đề phải khớp với mẫu sau:

Kết nối tệp LIBMAN.CPP. bao gồm //Tệp tiêu đề libmanPROB hoặc lmp LMP_ASSERT_MSG