From: Archana Polampalli <archana.polampa...@windriver.com>

Calling Decoder.Decode on a message which contains deeply nested structures can
cause a panic due to stack exhaustion. This is a follow-up to CVE-2022-30635.

Reference:
https://nvd.nist.gov/vuln/detail/CVE-2024-34156

Upstream-patch:
https://github.com/golang/go/commit/2092294f2b097c5828f4eace6c98a322c1510b01

Signed-off-by: Archana Polampalli <archana.polampa...@windriver.com>
Signed-off-by: Steve Sakoman <st...@sakoman.com>
---
 meta/recipes-devtools/go/go-1.17.13.inc       |   1 +
 .../go/go-1.21/CVE-2024-34156.patch           | 150 ++++++++++++++++++
 2 files changed, 151 insertions(+)
 create mode 100644 meta/recipes-devtools/go/go-1.21/CVE-2024-34156.patch

diff --git a/meta/recipes-devtools/go/go-1.17.13.inc 
b/meta/recipes-devtools/go/go-1.17.13.inc
index 11bd2afde0..53ca869221 100644
--- a/meta/recipes-devtools/go/go-1.17.13.inc
+++ b/meta/recipes-devtools/go/go-1.17.13.inc
@@ -59,6 +59,7 @@ SRC_URI += "\
     file://CVE-2024-24789.patch \
     file://CVE-2024-24791.patch \
     file://CVE-2024-34155.patch \
+    file://CVE-2024-34156.patch \
 "
 SRC_URI[main.sha256sum] = 
"a1a48b23afb206f95e7bbaa9b898d965f90826f6f1d1fc0c1d784ada0cd300fd"
 
diff --git a/meta/recipes-devtools/go/go-1.21/CVE-2024-34156.patch 
b/meta/recipes-devtools/go/go-1.21/CVE-2024-34156.patch
new file mode 100644
index 0000000000..d8a915d6e9
--- /dev/null
+++ b/meta/recipes-devtools/go/go-1.21/CVE-2024-34156.patch
@@ -0,0 +1,150 @@
+From 2092294f2b097c5828f4eace6c98a322c1510b01 Mon Sep 17 00:00:00 2001
+From: Roland Shoemaker <bracew...@google.com>
+Date: Fri, 3 May 2024 09:21:39 -0400
+Subject: [PATCH] encoding/gob: cover missed cases when checking ignore depth
+
+This change makes sure that we are properly checking the ignored field
+recursion depth in decIgnoreOpFor consistently. This prevents stack
+exhaustion when attempting to decode a message that contains an
+extremely deeply nested struct which is ignored.
+
+Thanks to Md Sakib Anwar of The Ohio State University (anwar...@osu.edu)
+for reporting this issue.
+
+Updates #69139
+Fixes #69144
+Fixes CVE-2024-34156
+
+Change-Id: Iacce06be95a5892b3064f1c40fcba2e2567862d6
+Reviewed-on: https://go-internal-review.googlesource.com/c/go/+/1440
+Reviewed-by: Russ Cox <r...@google.com>
+Reviewed-by: Damien Neil <dn...@google.com>
+(cherry picked from commit f0a11f9b3aaa362cb1d05e095e3c8d421d4f087f)
+Reviewed-on: https://go-internal-review.googlesource.com/c/go/+/1580
+Reviewed-by: Tatiana Bradley <tatianabrad...@google.com>
+Reviewed-on: https://go-review.googlesource.com/c/go/+/611182
+TryBot-Bypass: Dmitri Shuralyov <dmits...@google.com>
+Reviewed-by: Michael Pratt <mpr...@google.com>
+Auto-Submit: Dmitri Shuralyov <dmits...@google.com>
+Reviewed-by: Dmitri Shuralyov <dmits...@google.com>
+
+CVE: CVE-2024-34156
+
+Upstream-Status: Backport 
[https://github.com/golang/go/commit/2092294f2b097c5828f4eace6c98a322c1510b01]
+
+Signed-off-by: Archana Polampalli <archana.polampa...@windriver.com>
+---
+ src/encoding/gob/decode.go         | 19 +++++++++++--------
+ src/encoding/gob/decoder.go        |  2 ++
+ src/encoding/gob/gobencdec_test.go | 14 ++++++++++++++
+ 3 files changed, 27 insertions(+), 8 deletions(-)
+
+diff --git a/src/encoding/gob/decode.go b/src/encoding/gob/decode.go
+index 0e0ec75..92d64cb 100644
+--- a/src/encoding/gob/decode.go
++++ b/src/encoding/gob/decode.go
+@@ -874,8 +874,11 @@ func (dec *Decoder) decOpFor(wireId typeId, rt 
reflect.Type, name string, inProg
+ var maxIgnoreNestingDepth = 10000
+
+ // decIgnoreOpFor returns the decoding op for a field that has no destination.
+-func (dec *Decoder) decIgnoreOpFor(wireId typeId, inProgress 
map[typeId]*decOp, depth int) *decOp {
+-      if depth > maxIgnoreNestingDepth {
++func (dec *Decoder) decIgnoreOpFor(wireId typeId, inProgress 
map[typeId]*decOp) *decOp {
++      // Track how deep we've recursed trying to skip nested ignored fields.
++      dec.ignoreDepth++
++      defer func() { dec.ignoreDepth-- }()
++      if dec.ignoreDepth > maxIgnoreNestingDepth {
+               error_(errors.New("invalid nesting depth"))
+       }
+       // If this type is already in progress, it's a recursive type (e.g. 
map[string]*T).
+@@ -901,7 +904,7 @@ func (dec *Decoder) decIgnoreOpFor(wireId typeId, 
inProgress map[typeId]*decOp,
+                       errorf("bad data: undefined type %s", wireId.string())
+               case wire.ArrayT != nil:
+                       elemId := wire.ArrayT.Elem
+-                      elemOp := dec.decIgnoreOpFor(elemId, inProgress, 
depth+1)
++                      elemOp := dec.decIgnoreOpFor(elemId, inProgress)
+                       op = func(i *decInstr, state *decoderState, value 
reflect.Value) {
+                               state.dec.ignoreArray(state, *elemOp, 
wire.ArrayT.Len)
+                       }
+@@ -909,15 +912,15 @@ func (dec *Decoder) decIgnoreOpFor(wireId typeId, 
inProgress map[typeId]*decOp,
+               case wire.MapT != nil:
+                       keyId := dec.wireType[wireId].MapT.Key
+                       elemId := dec.wireType[wireId].MapT.Elem
+-                      keyOp := dec.decIgnoreOpFor(keyId, inProgress, depth+1)
+-                      elemOp := dec.decIgnoreOpFor(elemId, inProgress, 
depth+1)
++                      keyOp := dec.decIgnoreOpFor(keyId, inProgress)
++                      elemOp := dec.decIgnoreOpFor(elemId, inProgress)
+                       op = func(i *decInstr, state *decoderState, value 
reflect.Value) {
+                               state.dec.ignoreMap(state, *keyOp, *elemOp)
+                       }
+
+               case wire.SliceT != nil:
+                       elemId := wire.SliceT.Elem
+-                      elemOp := dec.decIgnoreOpFor(elemId, inProgress, 
depth+1)
++                      elemOp := dec.decIgnoreOpFor(elemId, inProgress)
+                       op = func(i *decInstr, state *decoderState, value 
reflect.Value) {
+                               state.dec.ignoreSlice(state, *elemOp)
+                       }
+@@ -1078,7 +1081,7 @@ func (dec *Decoder) compileSingle(remoteId typeId, ut 
*userTypeInfo) (engine *de
+ func (dec *Decoder) compileIgnoreSingle(remoteId typeId) *decEngine {
+       engine := new(decEngine)
+       engine.instr = make([]decInstr, 1) // one item
+-      op := dec.decIgnoreOpFor(remoteId, make(map[typeId]*decOp), 0)
++      op := dec.decIgnoreOpFor(remoteId, make(map[typeId]*decOp))
+       ovfl := overflow(dec.typeString(remoteId))
+       engine.instr[0] = decInstr{*op, 0, nil, ovfl}
+       engine.numInstr = 1
+@@ -1123,7 +1126,7 @@ func (dec *Decoder) compileDec(remoteId typeId, ut 
*userTypeInfo) (engine *decEn
+               localField, present := srt.FieldByName(wireField.Name)
+               // TODO(r): anonymous names
+               if !present || !isExported(wireField.Name) {
+-                      op := dec.decIgnoreOpFor(wireField.Id, 
make(map[typeId]*decOp), 0)
++                      op := dec.decIgnoreOpFor(wireField.Id, 
make(map[typeId]*decOp))
+                       engine.instr[fieldnum] = decInstr{*op, fieldnum, nil, 
ovfl}
+                       continue
+               }
+diff --git a/src/encoding/gob/decoder.go b/src/encoding/gob/decoder.go
+index b476aaa..8fab2fd 100644
+--- a/src/encoding/gob/decoder.go
++++ b/src/encoding/gob/decoder.go
+@@ -34,6 +34,8 @@ type Decoder struct {
+       freeList     *decoderState                           // list of free 
decoderStates; avoids reallocation
+       countBuf     []byte                                  // used for 
decoding integers while parsing messages
+       err          error
++       // ignoreDepth tracks the depth of recursively parsed ignored fields
++       ignoreDepth int
+ }
+
+ // NewDecoder returns a new decoder that reads from the io.Reader.
+diff --git a/src/encoding/gob/gobencdec_test.go 
b/src/encoding/gob/gobencdec_test.go
+index 1b52ecc..2b5f2a8 100644
+--- a/src/encoding/gob/gobencdec_test.go
++++ b/src/encoding/gob/gobencdec_test.go
+@@ -806,6 +806,8 @@ func TestIngoreDepthLimit(t *testing.T) {
+       defer func() { maxIgnoreNestingDepth = oldNestingDepth }()
+       b := new(bytes.Buffer)
+       enc := NewEncoder(b)
++
++      // Nested slice
+       typ := reflect.TypeOf(int(0))
+       nested := reflect.ArrayOf(1, typ)
+       for i := 0; i < 100; i++ {
+@@ -819,4 +821,16 @@ func TestIngoreDepthLimit(t *testing.T) {
+       if err := dec.Decode(&output); err == nil || err.Error() != expectedErr 
{
+               t.Errorf("Decode didn't fail with depth limit of 100: want %q, 
got %q", expectedErr, err)
+       }
++
++      // Nested struct
++      nested = reflect.StructOf([]reflect.StructField{{Name: "F", Type: typ}})
++      for i := 0; i < 100; i++ {
++              nested = reflect.StructOf([]reflect.StructField{{Name: "F", 
Type: nested}})
++      }
++      badStruct = reflect.New(reflect.StructOf([]reflect.StructField{{Name: 
"F", Type: nested}}))
++      enc.Encode(badStruct.Interface())
++      dec = NewDecoder(b)
++      if err := dec.Decode(&output); err == nil || err.Error() != expectedErr 
{
++              t.Errorf("Decode didn't fail with depth limit of 100: want %q, 
got %q", expectedErr, err)
++      }
+ }
+--
+2.40.0
-- 
2.43.0

-=-=-=-=-=-=-=-=-=-=-=-
Links: You receive all messages sent to this group.
View/Reply Online (#209907): 
https://lists.openembedded.org/g/openembedded-core/message/209907
Mute This Topic: https://lists.openembedded.org/mt/110628292/21656
Group Owner: openembedded-core+ow...@lists.openembedded.org
Unsubscribe: https://lists.openembedded.org/g/openembedded-core/unsub 
[arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-

Reply via email to