fieldpath's Paved.SetValue allows growing arrays up to arbitrary sizes in crossplane-runtime
Moderate severity
GitHub Reviewed
Published
Mar 9, 2023
in
crossplane/crossplane-runtime
•
Updated Apr 4, 2023
Package
Affected versions
>= 0.17.0, < 0.19.2
>= 0.6.0, < 0.16.1
Patched versions
0.19.2
0.16.1
Description
Published by the National Vulnerability Database
Mar 9, 2023
Published to the GitHub Advisory Database
Mar 13, 2023
Reviewed
Mar 13, 2023
Last updated
Apr 4, 2023
Summary
Fuzz testing on
crossplane/crossplane
, by Ada Logics and sponsored by the CNCF, identified input to a function in thefieldpath
package that can cause an out of memory panic. Applications that use thePaved
type'sSetValue
method with user provided input without proper validation might use excessive amounts of memory and cause an out of memory panic.Details
In the
fieldpath
package, theSetValue
method of thePaved
type sets a value on the inner object according to the provided path, without validating it first. This allows setting values in slices at any specific index and the code will grow the target array up to the required size. The index is currently capped at max uint32 (4294967295) given how indexes are parsed, but that is still an unnecessarily large value.Workaround
Users can parse and validate the path before passing it to the
SetValue
method of thePaved
type, constraining the index size as deemed appropriate.Credits
Disclosed by Ada Logics in a fuzzing audit sponsored by CNCF.
References