« List of all packages

fstar

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

Versions

Version
fstar.2025.06.20 (latest)
fstar.2025.03.25
fstar.2025.02.17
fstar.2022.01.15
fstar.2021.06.06

Vulnerable external dependencies (20)

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.2025.03.25 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.2021.06.06 Medium CVE-2024-0684 - Coreutils: heap overflow in split --line-bytes with very long lines 2/6/2024
coreutils fstar.2021.06.06 n/a High CVE-2017-18018 1/4/2018
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.2022.01.15 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.02.17 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2025.06.20 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2021.06.06 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2025.03.25 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2022.01.15 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2022.01.15 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.02.17 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.06.20 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.03.25 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2021.06.06 n/a Unknown CVE-2015-4042 1/24/2020