GitStock

udoprog/unicycle · Security

Data races in unicycle

GHSA ID
GHSA-686f-ch3r-xwmh
CVE ID
CVE-2020-36436
Severity
high
Published
Updated
CVSS
8.1 · CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H
CVSS v3
8.1 · CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H

Description

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>.

CWEs

  • CWE-119 · Improper Restriction of Operations within the Bounds of a Memory Buffer
  • CWE-362 · Concurrent Execution using Shared Resource with Improper Synchronization ('Race Condition')

References