Tóm tắt nhanh
- CVE-2019-7560 là lỗ hổng mức TRUNG BÌNH (CVSS 5.5) ảnh hưởng pyboolector, boolector (boolector project).
- Xác suất bị khai thác trong 30 ngày tới (EPSS): 0.96%, cao hơn 61.7% các lỗ hổng khác.
- Cách xử lý: cập nhật lên 3.1.0 hoặc mới hơn.
| Gói / sản phẩm | Phiên bản bị ảnh hưởng | Phiên bản đã vá |
|---|
| pyboolector PyPI | < 3.1.0
| 3.1.0
|
| boolector | = 3.0.0
| Chưa có bản vá |
Mô tả
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.
Mô tả của NVD
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.
Bạn đang dùng một trong các sản phẩm này? Quét site để biết có đang lộ phiên bản có lỗ hổng không.
Quét site miễn phí