Memory corruption via relaxed Arc uniqueness check
Published Apr 14, 2021 · Updated Aug 5, 2024
Improper synchronization in Rust standard library 1.3.0 through 1.28.0 allows attackers to corrupt memory during concurrent Arc use. Arc::is_unique reads the strong reference count with relaxed ordering, so Arc::get_mut can return mutable access without synchronizing with another thread's Arc::drop. Triggering the race requires one thread to drop an Arc reference while another requests mutable access, enabling conflicting reads and writes in the same process.
Summary
What happened
Improper synchronization in Rust standard library 1.3.0 through 1.28.0 allows attackers to corrupt memory during concurrent Arc use. Arc::is_unique reads the strong reference count with relaxed ordering, so Arc::get_mut can return mutable access without synchronizing with another thread's Arc::drop. Triggering the race requires one thread to drop an Arc reference while another requests mutable access, enabling conflicting reads and writes in the same process.
The record
- CVE
- CVE-2018-25008
- Published
- Apr 14, 2021
- Updated
- Aug 5, 2024
- Vendor
- Unknown vendor
- Product
- Unknown product
- Classifications
- CWE-662
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- Apr 14, 2021CVE publishedPublication date reported by the CVE source.
- Aug 5, 2024Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
What conditions does exploitation require?
What is affected?
Affected products and versions are unavailable in this record.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Weakness, pattern, technique
Public exploit references
- Concurrent Arc::get_mut race reproducerproof of concept · demonstrated
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo