« List of all packages

fstar

Opam page: https://opam.ocaml.org/packages/fstar/

Versions

Version
fstar.2026.03.24 (latest)
fstar.2025.12.15
fstar.2025.10.06
fstar.2025.09.04
fstar.2025.08.07
fstar.2025.06.20
fstar.2025.03.25
fstar.2025.02.17
fstar.2022.01.15
fstar.2021.06.06

Vulnerable external dependencies (108)

Product For package Vendor Severity CVE Published
coreutils fstar.2025.03.25 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.10.06 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.09.04 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2022.01.15 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.06.20 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.08.07 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.02.17 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.12.15 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2021.06.06 GNU Low CVE-2026-56392 - Heap-based Buffer Overflow in GNU coreutils 7/24/2026
coreutils fstar.2025.12.15 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.03.25 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2021.06.06 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.06.20 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.09.04 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.10.06 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.02.17 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2022.01.15 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2025.08.07 GNU Medium CVE-2026-56391 - Out‑of‑bounds Read in GNU coreutils 7/24/2026
coreutils fstar.2022.01.15 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.09.04 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024