| Version | |
|---|---|
| fstar.2025.06.20 (latest) | |
| fstar.2025.03.25 | |
| fstar.2025.02.17 | |
| fstar.2022.01.15 | |
| fstar.2021.06.06 |
| Product | For package | Vendor | Severity | CVE | Published |
|---|---|---|---|---|---|
| coreutils | fstar.2022.01.15 | n/a | Unknown | CVE-2015-4041 | 1/24/2020 |
| coreutils | fstar.2025.03.25 | n/a | Unknown | CVE-2015-4041 | 1/24/2020 |
| coreutils | fstar.2021.06.06 | n/a | Unknown | CVE-2015-4041 | 1/24/2020 |
| coreutils | fstar.2025.06.20 | n/a | Unknown | CVE-2015-4041 | 1/24/2020 |
| coreutils | fstar.2025.02.17 | n/a | Unknown | CVE-2015-4041 | 1/24/2020 |
| coreutils | fstar.2025.03.25 | n/a | Unknown | CVE-2015-1865 | 9/20/2017 |
| coreutils | fstar.2025.02.17 | n/a | Unknown | CVE-2015-1865 | 9/20/2017 |
| coreutils | fstar.2022.01.15 | n/a | Unknown | CVE-2015-1865 | 9/20/2017 |
| coreutils | fstar.2025.06.20 | n/a | Unknown | CVE-2015-1865 | 9/20/2017 |
| coreutils | fstar.2021.06.06 | n/a | Unknown | CVE-2015-1865 | 9/20/2017 |
| coreutils | fstar.2025.03.25 | n/a | Unknown | CVE-2014-9471 | 1/16/2015 |
| coreutils | fstar.2025.06.20 | n/a | Unknown | CVE-2014-9471 | 1/16/2015 |
| coreutils | fstar.2021.06.06 | n/a | Unknown | CVE-2014-9471 | 1/16/2015 |
| coreutils | fstar.2025.02.17 | n/a | Unknown | CVE-2014-9471 | 1/16/2015 |
| coreutils | fstar.2022.01.15 | n/a | Unknown | CVE-2014-9471 | 1/16/2015 |
| coreutils | fstar.2022.01.15 | n/a | Unknown | CVE-2009-4135 | 12/11/2009 |
| coreutils | fstar.2021.06.06 | n/a | Unknown | CVE-2009-4135 | 12/11/2009 |
| coreutils | fstar.2025.03.25 | n/a | Unknown | CVE-2009-4135 | 12/11/2009 |
| coreutils | fstar.2025.06.20 | n/a | Unknown | CVE-2009-4135 | 12/11/2009 |
| coreutils | fstar.2025.02.17 | n/a | Unknown | CVE-2009-4135 | 12/11/2009 |