Report 0034-model to RustSec

This commit is contained in:
Yechan Bae
2021-01-18 18:22:24 -05:00
parent a06ba1740f
commit 7423c1a37b

View File

@@ -0,0 +1,24 @@
```toml
[advisory]
id = "RUSTSEC-0000-0000"
package = "model"
date = "2020-11-10"
url = "https://github.com/spacejam/model/issues/3"
informational = "unsound"
[versions]
patched = []
```
# `Shared` can cause a data race
`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](https://doc.rust-lang.org/nomicon/races.html) for the difference between
a data race and a general race condition.