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
Related
Published
2023-08-22T19:16:00Z
Modified
2025-06-03T17:34:27Z
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
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:Pro:16.04:LTS / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.4.0-5?arch=source&distro=esm-apps/xenial

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown 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 

{
    "ubuntu_priority": "medium"
}

Ubuntu:Pro:18.04:LTS / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.4.1-0.3build4?arch=source&distro=esm-apps/bionic

Affected ranges

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

Affected versions

4.*

4.4.1-0.3build3
4.4.1-0.3build4

Ecosystem specific 

{
    "ubuntu_priority": "medium"
}

Ubuntu:Pro:20.04:LTS / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.8.7-4build1?arch=source&distro=esm-apps/focal

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown 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 

{
    "ubuntu_priority": "medium"
}

Ubuntu:22.04:LTS / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.8.12-1?arch=source&distro=jammy

Affected ranges

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

Affected versions

4.*

4.8.12-1

Ecosystem specific 

{
    "ubuntu_priority": "medium"
}

Ubuntu:24.10 / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.8.12-3.1build1?arch=source&distro=oracular

Affected ranges

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

Affected versions

4.*

4.8.12-3.1build1

Ecosystem specific 

{
    "ubuntu_priority": "medium"
}

Ubuntu:24.04:LTS / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.8.12-3.1build1?arch=source&distro=noble

Affected ranges

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

Affected versions

4.*

4.8.12-3.1
4.8.12-3.1build1

Ecosystem specific 

{
    "ubuntu_priority": "medium"
}

Ubuntu:25.04 / z3

Package

Name
z3
Purl
pkg:deb/ubuntu/z3@4.13.3-1?arch=source&distro=plucky

Affected ranges

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

Affected versions

4.*

4.8.12-3.1build1
4.13.3-1

Ecosystem specific 

{
    "ubuntu_priority": "medium"
}