rustsec-2020-0112
Vulnerability from osv_rustsec
Published
2020-12-18 12:00
Modified
2023-06-13 13:10
Summary
ButtplugFutureStateShared allows data race to (!Send|!Sync) objects
Details

ButtplugFutureStateShared<T> implements Send & Sync regardless of T.

If T: !Send for ButtplugFutureStateShared<T>, it is possible to move non-Send types across thread boundaries (e.g. T=Rc<T>) and lead to undefined behavior. If T: !Sync for ButtplugFutureStateShared<T>, it is possible to cause data race to T (e.g. T=Arc<Cell<_>>) and lead to undefined behavior.

The flaw was corrected in version 1.0.4 by removing manual implementations of Send/Sync for ButtplugFutureStateShared<T> to let rustc generate auto trait implementations with correct trait bounds on T.


{
  "affected": [
    {
      "database_specific": {
        "categories": [
          "memory-corruption",
          "thread-safety"
        ],
        "cvss": "CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:H",
        "informational": null
      },
      "ecosystem_specific": {
        "affected_functions": null,
        "affects": {
          "arch": [],
          "functions": [],
          "os": []
        }
      },
      "package": {
        "ecosystem": "crates.io",
        "name": "buttplug",
        "purl": "pkg:cargo/buttplug"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0.0.0-0"
            },
            {
              "fixed": "1.0.4"
            }
          ],
          "type": "SEMVER"
        }
      ],
      "versions": []
    }
  ],
  "aliases": [
    "CVE-2020-36218",
    "GHSA-r7rv-2rph-hvhj"
  ],
  "database_specific": {
    "license": "CC0-1.0"
  },
  "details": "`ButtplugFutureStateShared\u003cT\u003e` implements `Send` \u0026 `Sync` regardless of `T`.\n\nIf `T: !Send` for `ButtplugFutureStateShared\u003cT\u003e`, it is possible to move non-Send types across thread boundaries (e.g. `T`=`Rc\u003cT\u003e`) and lead to undefined behavior.\nIf `T: !Sync` for `ButtplugFutureStateShared\u003cT\u003e`, it is possible to cause data race to `T` (e.g. `T`=`Arc\u003cCell\u003c_\u003e\u003e`) and lead to undefined behavior.\n\nThe flaw was corrected in version 1.0.4 by removing manual implementations of `Send`/`Sync` for `ButtplugFutureStateShared\u003cT\u003e` to let rustc generate auto trait implementations with correct trait bounds on `T`.",
  "id": "RUSTSEC-2020-0112",
  "modified": "2023-06-13T13:10:24Z",
  "published": "2020-12-18T12:00:00Z",
  "references": [
    {
      "type": "PACKAGE",
      "url": "https://crates.io/crates/buttplug"
    },
    {
      "type": "ADVISORY",
      "url": "https://rustsec.org/advisories/RUSTSEC-2020-0112.html"
    },
    {
      "type": "REPORT",
      "url": "https://github.com/buttplugio/buttplug-rs/issues/225"
    }
  ],
  "related": [],
  "severity": [
    {
      "score": "CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:H",
      "type": "CVSS_V3"
    }
  ],
  "summary": "ButtplugFutureStateShared allows data race to (!Send|!Sync) objects"
}


Log in or create an account to share your comment.




Tags
Taxonomy of the tags.


Loading…

Loading…

Loading…

Sightings

Author Source Type Date

Nomenclature

  • Seen: The vulnerability was mentioned, discussed, or observed by the user.
  • Confirmed: The vulnerability has been validated from an analyst's perspective.
  • Published Proof of Concept: A public proof of concept is available for this vulnerability.
  • Exploited: The vulnerability was observed as exploited by the user who reported the sighting.
  • Patched: The vulnerability was observed as successfully patched by the user who reported the sighting.
  • Not exploited: The vulnerability was not observed as exploited by the user who reported the sighting.
  • Not confirmed: The user expressed doubt about the validity of the vulnerability.
  • Not patched: The vulnerability was not observed as successfully patched by the user who reported the sighting.


Loading…

Detection rules are retrieved from Rulezet.

Loading…

Loading…