Z3 đến 4.8.7 Solver pdd_simplifier.cpp tràn bộ đệm

CVSS Điểm tạm thời meta	Giá khai thác hiện tại (≈)	Điểm quan tâm CTI
6.5	$0-$5k	0.00

Tóm tắtthông tin

Một điểm yếu được xếp loại là nghiêm trọng đã được tìm thấy ở Z3 đến 4.8.7. Thành phần bị tác động gồm một hàm chưa được xác minh rõ trong tệp pdd_simplifier.cpp nằm trong thành phần Solver. Việc chỉnh sửa tràn bộ đệm. Lỗ hổng này được giao dịch dưới mã CVE-2020-19725. Không có mã khai thác nào sẵn có. Đề xuất nâng cấp thành phần bị ảnh hưởng.

Chi tiếtthông tin

Một điểm yếu được xếp loại là nghiêm trọng đã được tìm thấy ở Z3 đến 4.8.7. Thành phần bị tác động gồm một hàm chưa được xác minh rõ trong tệp pdd_simplifier.cpp nằm trong thành phần Solver. Việc chỉnh sửa tràn bộ đệm. Việc sử dụng CWE để khai báo sự cố dẫn đến CWE-119. Thông tin về điểm yếu đã được công bố vào ngày 23/08/2023 với định danh 3363. Bản khuyến nghị được chia sẻ để tải xuống tại github.com.

Lỗ hổng này được giao dịch dưới mã CVE-2020-19725. CVE được gán vào ngày 13/08/2020. Chi tiết kỹ thuật đã được cung cấp. Độ phổ biến của lỗ hổng này thấp hơn mức trung bình. Không có mã khai thác nào sẵn có. Hiện thời, giá của một exploit có thể vào khoảng USD $0-$5k.

Nó được tuyên bố là không được định nghĩa. Giai đoạn 0-day, giá ngầm ước tính vào khoảng $0-$5k.

Nâng cấp lên phiên bản 4.8.8 có thể khắc phục sự cố này. Đề xuất nâng cấp thành phần bị ảnh hưởng.

Sản phẩmthông tin

Tên

• Z3

Phiên bản

• 4.8.0
• 4.8.1
• 4.8.2
• 4.8.3
• 4.8.4
• 4.8.5
• 4.8.6
• 4.8.7

CPE 2.3thông tin

• 🔍
• 🔍
• 🔍

CPE 2.2thông tin

• 🔍
• 🔍
• 🔍

CVSSv4thông tin

VulDB Vector: 🔍
VulDB Độ tin cậy: 🔍

CVSSv3thông tin

VulDB Điểm cơ sở meta: 6.6
VulDB Điểm tạm thời meta: 6.5

VulDB Điểm cơ sở: 5.5
VulDB Điểm tạm thời: 5.3
VulDB Vector: 🔍
VulDB Độ tin cậy: 🔍

NVD Điểm cơ sở: 7.8
NVD Vector: 🔍

CVSSv2thông tin

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

Véc-tơ	Độ phức tạp	Xác thực	Bí mật	Toàn vẹn	Khả dụng
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa

VulDB Điểm cơ sở: 🔍
VulDB Điểm tạm thời: 🔍
VulDB Độ tin cậy: 🔍

Khai thácthông tin

Lớp: Tràn bộ đệm
CWE: CWE-119
CAPEC: 🔍
ATT&CK: 🔍

Vật lý: Một phần
Cục bộ: Có
Từ xa: Một phần

Khả dụng: 🔍
Trạng thái: Không được định nghĩa

EPSS Score: 🔍
EPSS Percentile: 🔍

Dự đoán giá: 🔍
Ước tính giá hiện tại: 🔍

0-Day	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Hôm nay	Mở khóa	Mở khóa	Mở khóa	Mở khóa

Tình báo mối đe dọathông tin

Sự quan tâm: 🔍
Diễn viên đang hoạt động: 🔍
Nhóm APT đang hoạt động: 🔍

Biện pháp đối phóthông tin

Khuyến nghị: nâng cấp
Trạng thái: 🔍

Thời gian 0-ngày: 🔍

nâng cấp: Z3 4.8.8

dòng thời gianthông tin

13/08/2020 🔍
23/08/2023 +1105 ngày 🔍
23/08/2023 +0 ngày 🔍
14/09/2023 +22 ngày 🔍

Nguồnthông tin

Khuyến cáo: 3363
Trạng thái: Đã xác nhận

CVE: CVE-2020-19725 (🔍)
GCVE (CVE): GCVE-0-2020-19725
GCVE (VulDB): GCVE-100-237688

mụcthông tin

Được tạo: 23/08/2023 07:28
Đã cập nhật: 14/09/2023 13:53
Thay đổi: 23/08/2023 07:28 (41), 14/09/2023 13:53 (11)
Hoàn chỉnh: 🔍
Cache ID: 216::103

VulDB is the best source for vulnerability data and more expert information about this specific topic.

Thảo luận

Might our Artificial Intelligence support you?

Check our Alexa App!