Affected versions of this crate were using a debug assertion to validate the last
parameter of partial_sort()
. This would allow invalid inputs to cause an out-of-bounds read instead of immediately panicking, when compiled without debug assertions.
All writes are bounds-checked, so the out-of-bounds memory access is read-only. This also means that the first attempted out-of-bounds write will panic, limiting the possible reads.
The accessible region is further limited by an initial bounds-checked read at (last / 2) - 1
, i.e., it is proportional to the size of the vector.
This bug has been fixed in v0.2.0.
{ "nvd_published_at": null, "cwe_ids": [ "CWE-125" ], "severity": "MODERATE", "github_reviewed": true, "github_reviewed_at": "2023-02-28T20:31:05Z" }