CVE-2020-36446: Data races in signal-simple

August 25, 2021 (updated June 13, 2023)

Affected versions of this crate unconditionally implement Send/Sync for SyncChannel. SyncChannel doesn’t provide access to &T but merely serves as a channel that consumes and returns owned T.

Users can create UB in safe Rust by sending T: !Send to other threads with SyncChannel::send/recv APIs. Using T = Arc<Cell<_> allows to create data races (which can lead to memory corruption), and using T = MutexGuard allows to unlock a mutex from a thread that didn’t lock the mutex.

References

github.com/advisories/GHSA-36cg-4jff-5863
github.com/kitsuneninetails/signal-rust/issues/2
nvd.nist.gov/vuln/detail/CVE-2020-36446
raw.githubusercontent.com/rustsec/advisory-db/main/crates/signal-simple/RUSTSEC-2020-0126.md
rustsec.org/advisories/RUSTSEC-2020-0126.html

Code Behaviors & Features

Detect and mitigate CVE-2020-36446 with GitLab Dependency Scanning

Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Dependency Scanning using SBOM also detects vulnerabilities from proprietary advisories that this site does not include. Learn more about Dependency Scanning using SBOM →