GHSA-h3mf-4fwp-59c7: VecStorage Deserialize Allows Violation of Length Invariant
(updated )
The Deserialize implementation for VecStorage did not maintain the invariant that the number of elements must equal nrows * ncols. Deserialization of specially crafted inputs could allow memory access beyond allocation of the vector.
This flaw was introduced in v0.11.0 (086e6e) due to the addition of an automatically derived implementation of Deserialize for MatrixVec. MatrixVec was later renamed to VecStorage in v0.16.13 (0f66403) and continued to use the automatically derived implementation of Deserialize.
This flaw was corrected in commit 5bff536 by returning an error during deserialization if the number of elements does not exactly match the expected size.
References
- github.com/advisories/GHSA-h3mf-4fwp-59c7
- github.com/dimforge/nalgebra
- github.com/dimforge/nalgebra/blob/dev/CHANGELOG.md
- github.com/dimforge/nalgebra/commit/a803271fcce75b7c151e92aa099dfa546db4adc5
- github.com/dimforge/nalgebra/issues/883
- github.com/dimforge/nalgebra/pull/889
- rustsec.org/advisories/RUSTSEC-2021-0070.html
Code Behaviors & Features
Detect and mitigate GHSA-h3mf-4fwp-59c7 with GitLab Dependency Scanning
Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Learn more about Dependency Scanning →