Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Infer# Analysis

Đang mở
#792 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ó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
35/100
Loại issue
Lỗi
Độ rõ ràng
Cần làm rõ
Mức độ hoạt động
Đình trệ
Công nghệ
csharp
Lĩnh vực
backend

Hướng nghiên cứu

Bắt đầu bằng cách chạy Infer# trên mã nguồn và xem xét report_sarif.zip. Điều tra các rò rỉ tài nguyên được báo cáo trong ZipFile.cs và ZipEntry.cs, cùng với các phát hiện về race của PartialInputStream trong ZipFile.cs; được xem là hoàn tất khi các phát hiện được báo cáo đã được xử lý và quá trình phân tích không còn báo cáo chúng nữa.

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

Mô tả

bug
Steps to reproduce
  1. Get Infer#
  2. Run it on the code

ZipFile.cs

  • (Pulse resource leak) Resource dynamically allocated by constructor ICSharpCode.SharpZipLib.Encryption.PkzipClassicEncryptCryptoTransform(), indirectly via call to PkzipClassicManaged.CreateEncryptor(...) on line 3740 is not closed after the last access at line 3740, column 5.

75gai-1667327544

  • (Thread safety violation) Read/Write race. Non-private method ZipFile$PartialInputStream.get_Position() reads without synchronization from this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_. Potentially races with write in method ZipFile$PartialInputStream.Read(...).
    Reporting because another access to the same memory occurs on a background thread, although this access may not.
  • (Thread safety violation) Read/Write race. Non-private method ZipFile$PartialInputStream.ReadByte() reads without synchronization from this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_. Potentially races with write in method ZipFile$PartialInputStream.Read(...).
    Reporting because this access may occur on a background thread.
  • (Thread safety violation) Unprotected write. Non-private method ZipFile$PartialInputStream.set_Position(...) writes to field this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_ outside of synchronization.
    Reporting because another access to the same memory occurs on a background thread, although this access may not.

ZipEntry.cs

  • (Pulse resource leak) Resource dynamically allocated by constructor ICSharpCode.SharpZipLib.Zip.ZipExtraData() on line 870 is not closed after the last access at line 938, column 4.

report_sarif.zip

Ngôn ngữ chính
C#
Star
3.9k
Fork
1k
Không có pull request nào được merge trong 30 ngày

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

Mở hướng dẫn đóng góp

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 icsharpcode/SharpZipLib

Tất cả issue của icsharpcode/SharpZipLib

Issue tương tự

Thêm issue về C#

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.