We found results for “”
WS-2022-0463
Good to know:
Date: November 3, 2024
cell-project used incorrect variance when projecting through &Cell<T>. The issue lies in the implementation of the cell_project macro which used field as *const _ instead of field as *mut _. The problem being that *const T is covariant in T while *mut T is invariant in T. Keep in mind that &Cell<T> is invariant in T, so casting to *const T relaxed the variance, and lead to unsoundness, as shown in the example below. fixed in 0.1.4.
Language: RUST
Severity Score
Related Resources (6)
Severity Score
Weakness Type (CWE)
Function Call With Incorrect Variable or Reference as Argument
CWE-688Top Fix
CVSS v3.1
Base Score: |
|
---|---|
Attack Vector (AV): | NETWORK |
Attack Complexity (AC): | LOW |
Privileges Required (PR): | NONE |
User Interaction (UI): | NONE |
Scope (S): | UNCHANGED |
Confidentiality (C): | NONE |
Integrity (I): | NONE |
Availability (A): | HIGH |