« List of all packages

goblint-cil

Opam page: https://opam.ocaml.org/packages/goblint-cil/

Versions

Version
goblint-cil.2.0.6 (latest)
goblint-cil.2.0.5
goblint-cil.2.0.4
goblint-cil.2.0.3
goblint-cil.2.0.2
goblint-cil.2.0.1
goblint-cil.2.0.0
goblint-cil.1.8.2
goblint-cil.1.8.0
goblint-cil.1.7.4
goblint-cil.1.7.3

Vulnerable external dependencies (20)

Product For package Vendor Severity CVE Published
perl-FindBin goblint-cil.2.0.2 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.2 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.5 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.1.8.0 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.1 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.1.7.4 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.3 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.4 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.6 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.5 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.2 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.1 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.6 Red Hat High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.6 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-FindBin goblint-cil.2.0.4 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.2 High CVE-2023-47038 - Perl: write past buffer end via illegal user-defined unicode property 12/18/2023
perl-ExtUtils-MakeMaker goblint-cil.1.7.4 n/a High CVE-2023-31486 4/28/2023
perl-FindBin goblint-cil.2.0.0 n/a High CVE-2023-31486 4/28/2023
perl-FindBin goblint-cil.1.8.0 n/a High CVE-2023-31486 4/28/2023
perl-ExtUtils-MakeMaker goblint-cil.2.0.5 n/a High CVE-2023-31486 4/28/2023