UBUNTU-CVE-2020-19725

See a problem?
Please try reporting it to the source first.
Source
https://ubuntu.com/security/CVE-2020-19725
Import Source
https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json
JSON Data
https://api.osv.dev/v1/vulns/UBUNTU-CVE-2020-19725
Upstream
Published
2023-08-22T19:16:00Z
Modified
2026-05-20T16:04:15Z
Severity
  • 7.8 (High) CVSS_V3 - CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H CVSS Calculator
  • Ubuntu - medium
Summary
[none]
Details

There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution.

References

Affected packages

Ubuntu:16.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=xenial

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.4.0-2
4.4.0-3
4.4.0-3build1
4.4.0-5

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-cil",
            "binary_version": "4.4.0-5"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.4.0-5"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.4.0-5"
        },
        {
            "binary_name": "python-z3",
            "binary_version": "4.4.0-5"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.4.0-5"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:18.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=bionic

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.4.1-0.3build3
4.4.1-0.3build4

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.4.1-0.3build4"
        },
        {
            "binary_name": "libz3-cil",
            "binary_version": "4.4.1-0.3build4"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.4.1-0.3build4"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.4.1-0.3build4"
        },
        {
            "binary_name": "python-z3",
            "binary_version": "4.4.1-0.3build4"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.4.1-0.3build4"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:20.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=focal

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.8.4-1build1
4.8.7-3
4.8.7-4
4.8.7-4build1

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.8.7-4build1"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.8.7-4build1"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.8.7-4build1"
        },
        {
            "binary_name": "python3-z3",
            "binary_version": "4.8.7-4build1"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.8.7-4build1"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:22.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=jammy

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.8.12-1

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.8.12-1"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.8.12-1"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.8.12-1"
        },
        {
            "binary_name": "python3-z3",
            "binary_version": "4.8.12-1"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.8.12-1"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:24.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=noble

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.8.12-3.1
4.8.12-3.1build1

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.8.12-3.1build1"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.8.12-3.1build1"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.8.12-3.1build1"
        },
        {
            "binary_name": "python3-z3",
            "binary_version": "4.8.12-3.1build1"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.8.12-3.1build1"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:25.10
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=questing

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.13.3-1

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.13.3-1"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.13.3-1"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.13.3-1"
        },
        {
            "binary_name": "python3-z3",
            "binary_version": "4.13.3-1"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.13.3-1"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"
Ubuntu:26.04:LTS
z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3?arch=source&distro=resolute

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0 Unknown introduced version / All previous versions are affected

Affected versions

4.*
4.13.3-1
4.13.3-1build1

Ecosystem specific 

{
    "binaries": [
        {
            "binary_name": "libz3-4",
            "binary_version": "4.13.3-1build1"
        },
        {
            "binary_name": "libz3-java",
            "binary_version": "4.13.3-1build1"
        },
        {
            "binary_name": "libz3-jni",
            "binary_version": "4.13.3-1build1"
        },
        {
            "binary_name": "python3-z3",
            "binary_version": "4.13.3-1build1"
        },
        {
            "binary_name": "z3",
            "binary_version": "4.13.3-1build1"
        }
    ]
}

Database specific

source 
"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2020/UBUNTU-CVE-2020-19725.json"