Rust advisories / model
Unsound HighRUSTSEC-2020-0140 · model
RUSTSEC-2020-0140: `Shared` can cause a data race
Short answermodel has an API that can cause undefined behaviour from safe code: `Shared` can cause a data race. No fixed version yet.
| Crate | model |
|---|---|
| Type | Unsound (thread-safety) |
| Affected versions | Every version. |
| Fixed in | none |
| Severity | High, CVSS 8.1 CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H |
| Published | 2020-11-10 |
| Last changed | 2023-11-08 |
| Also known as | CVE-2020-36460, GHSA-mxv6-q98x-h958 |
What to do
- Find who pulls it in:
cargo tree -i model. - Avoid the affected API, or replace the crate.
Details from the advisory
Shared data structure in model crate implements Send and Sync traits regardless of the inner type. This allows safe Rust code to trigger a data race, which is undefined behavior in Rust.
Users are advised to treat Shared as an unsafe type. It should not be used outside of the testing context, and care must be taken so that the testing code does not have a data race besides a race condition that is expected to be caught by the test.
Check the Rustonomicon for the difference between a data race and a general race condition.
References
- Package: crates.io/crates/model
- Advisory: rustsec.org/advisories/RUSTSEC-2020-0140.html
- Report: github.com/spacejam/model/issues/3
From the RustSec Advisory Database (CC0-1.0) via the OSV export, downloaded Oct 24, 2026. Severity score computed from the published CVSS vector.
Up next
Are you affected?Check your whole dependency treePaste Cargo.lock: every advisory, for your exact versions.Read it next →Also worth your time
Did this answer your question?