Zigzag signed encode/decode overflow

Đang mở Phù hợp với người mới
#8 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
2/5
Thời gian dự kiến
1-3 giờ
Mức phù hợp với người mới
78/100
Loại issue
Lỗi
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Ít trao đổi
Công nghệ
rust
Lĩnh vực
backend

Hướng nghiên cứu

Đọc helper sign trong src/lib.rs và tái hiện lỗi bằng test test_roundtrip_i64_min được cung cấp. Kiểm tra rằng việc giải mã i64::MIN đã được mã hóa trả về i64::MIN mà không bị tràn số trong các bản build debug hoặc release; xem xét lỗi tràn số được báo cáo trong unsign như một phần của quá trình điều tra.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

The zigzag decode helper sign, on input u64::MAX, panics in debug builds and silently returns 0 instead of i64::MIN in release builds.

In src/lib.rs:

fn sign(value: u64) -> i64 {
    if value & 1 != 0 {
        -(((value + 1) / 2) as i64)
    } else {
        (value / 2) as i64
    }
}

u64::MAX is odd, so we enter the if-branch. u64::MAX + 1 overflows u64:

  • Debug: panic with "attempt to add with overflow"
  • Release: wraps to 0, so sign(u64::MAX) silently returns 0 instead of the correct i64::MIN (-9223372036854775808)

This can lead to data corruption. Unit test to reproduce:

#[test]
fn test_roundtrip_i64_min() {
    let mut buf = [0u8; 10];
    let n = signed_encode(i64::MIN, &mut buf);
    let mut out = 0i64;
    signed_decode(&buf[..n], &mut out);
    assert_eq!(out, i64::MIN); // fails: out == 0
}

The encode side (unsign) has a similar overflow (i64::MIN * -2), but wrapping arithmetic accidentally produces the correct result (u64::MAX), so encode works in release.

Ngôn ngữ chính
Rust
Star
15
Fork
2
Không có pull request nào được merge trong 30 ngày

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của datrs/varinteger

Tất cả issue của datrs/varinteger

Issue tương tự

Thêm issue về Rust

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.