github / github/codeql

Python: False positive: Tuple Destructuring

Đang mở
#17,008 2 bình luận 0 reaction 0 người được giao Xem trên GitHub
false-positive
Ngôn ngữ chính
CodeQL
Star
10.1k
Fork
2.1k
Merge trung bình
2 ngày 15 giờ
Pull request đã merge (30 ngày)
141

Mô tả

**Description of the false positive**

CodeQL incorrectly identifies dataflow occurring from a constant value when a tuple is being destructured.

**Code samples or links to source code**
![Screenshot 2024-07-17 at 1 17 28 PM](https://github.com/user-attachments/assets/fcd5cfd8-4a3d-4f09-b9a3-0af5a802b67b)

Here's it's very clear that `status` will always be `200` on this data flow path, but CodeQL incorrectly believes there is dataflow from the `res.json()` to the `status` variable.

https://github.com/Chainguard-Wolfi-Bites-Back/istio__istio/security/code-scanning/5

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

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

Hướng nghiên cứu

Bắt đầu với kết quả code-scanning được liên kết và kịch bản giải cấu trúc tuple được mô tả trong issue. Điều tra cách CodeQL mô hình hóa luồng dữ liệu cho ví dụ Python, sau đó xác minh rằng một giá trị trạng thái hằng không được báo cáo là nhận luồng dữ liệu từ res.json().

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

Đánh giá

Công nghệ
python
Lĩnh vực
security
Loại issue
Lỗi
Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức độ hoạt động
Ít trao đổi
Độ rõ ràng
Cần làm rõ
Mức phù hợp với người mới
42/100

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.