Adding guards against possible NULL pointers dereference

Đang mở
#98,998 1 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ó
5/5
Thời gian dự kiến
Hơn một tuần
Mức phù hợp với người mới
15/100
Loại issue
Lỗi
Độ rõ ràng
Cần làm rõ
Mức độ hoạt động
Đình trệ
Công nghệ
python
Lĩnh vực
security

Hướng nghiên cứu

Xem xét original_report.txt và Python3.11_static_analysis_result.txt, sau đó tái hiện phân tích được báo cáo bằng ./configure và infer run -- make --keep-going. Báo cáo nêu các khả năng NULL-pointer dereferences, nhưng không xác định một tập hợp tệp hoặc bản sửa lỗi hữu hạn. Để hoàn tất, cần xác thực từng phát hiện và xử lý các lỗ hổng đã được xác nhận bằng các kiểm thử phù hợp.

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

Mô tả

type-bug

Bug report

Infer is a static analysis tool.
I used it to analyze CPython code base and got some interesting results.

I used the following command to complete the static analysis and got the original results in the attachment original_report.txt.
./configure
infer run -- make --keep-going

I've stripped out some of the more obvious false positives in the attachment Python3.11_static_analysis_result.txt,
the rest are vulnerabilities that I think may need attention.

Python is my favorite programming language. I hope this deicovery is helpful.

Ngôn ngữ chính
Python
Star
77.2k
Fork
36k
Merge trung bình
1 ngày 9 giờ
Pull request đã merge (30 ngày)
558

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 python/cpython

Tất cả issue của python/cpython

Issue tương tự

Thêm issue về Python

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.