« 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 (90)

Product For package Vendor Severity CVE Published
coreutils fstar.2025.06.20 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2021.06.06 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.03.25 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.10.06 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.02.17 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
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
coreutils fstar.2025.12.15 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.08.07 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2025.06.20 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.03.25 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.10.06 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.02.17 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.12.15 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2022.01.15 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.09.04 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.08.07 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2021.06.06 n/a High CVE-2017-18018 1/4/2018
coreutils fstar.2025.12.15 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2025.02.17 n/a Medium CVE-2016-2781 2/7/2017