Affected versions of this crate unconditionally implemented Send
& Sync
for types PinSlab<T>
& Unordered<T, S>
. This allows sending non-Send types to other threads and concurrently accessing non-Sync types from multiple threads.
This can result in a data race & memory corruption when types that provide internal mutability without synchronization are contained within PinSlab<T>
or Unordered<T, S>
and accessed concurrently from multiple threads.
The flaw was corrected in commits 92f40b4 & 6a6c367 by adding trait bound T: Send
to Send
impls for PinSlab<T>
& Unordered<T, S>
and adding T: Sync
to Sync
impls for PinSlab<T>
& Unordered<T, S>
.
{ "nvd_published_at": "2021-08-08T06:15:00Z", "github_reviewed_at": "2021-08-18T20:15:26Z", "severity": "HIGH", "github_reviewed": true, "cwe_ids": [ "CWE-119", "CWE-362" ] }