cockroachdb / cockroachdb/errors

Possible "index out of range" in `equalMarks`

Đang mở
#97 2 bình luận 1 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Go
Star
2.5k
Fork
74
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

Hello!

I'm interested in carefree [iteration](https://github.com/cockroachdb/errors/blob/217058372e2042c4d08384adbd883316372f1070/markers/markers.go#L200) over lists whose lengths can vary:
```go
// equalMarks compares two error markers.
func equalMarks(m1, m2 errorMark) bool {
if m1.msg != m2.msg {
return false
}
for i, t := range m1.types {
if !t.Equals(m2.types[i]) {
return false
}
}
return true
}
```

And I made an example that breaks this code:
```go
package main

import (
"fmt"
"github.com/cockroachdb/errors"
)

type SimpleWrapper struct {
err error
}

func (w SimpleWrapper) Error() string {
return "boom!"
}

func (w SimpleWrapper) Unwrap() error {
return w.err
}

func main() {
stack := errors.WithStack

ref := stack(stack(SimpleWrapper{}))
err := stack(stack(SimpleWrapper{err: stack(errors.New("boom!"))}))

if errors.IsAny(err, ref) {
fmt.Println("gotcha!")
}

/* panic: runtime error: index out of range [3] with length 3

goroutine 1 [running]:
github.com/cockroachdb/errors/markers.equalMarks(...)
github.com/cockroachdb/errors@v1.9.0/markers/markers.go:205
github.com/cockroachdb/errors/markers.IsAny({0x102802528, 0x1400000e438}, {0x14000167f48, 0x1, 0x14000167f28?})
github.com/cockroachdb/errors@v1.9.0/markers/markers.go:186 +0x364
github.com/cockroachdb/errors.IsAny(...)
github.com/cockroachdb/errors@v1.9.0/markers_api.go:64
main.main()
examples/04-non-standard-modules/cockroach-is-any-bug/main.go:26 +0x318
*/
}
```

Where am I wrong?

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Hướng nghiên cứu

Start in markers/markers.go at equalMarks, using the reproducer in examples/04-non-standard-modules/cockroach-is-any-bug/main.go as the regression case. Run the example and verify that comparing marker lists of different lengths no longer panics, with IsAny producing a stable result.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ
go
Lĩnh vực
backend
Loại issue
Lỗi
Độ khó
2/5
Thời gian dự kiến
1-3 giờ
Mức độ hoạt động
Đình trệ
Độ rõ ràng
Đặc tả rõ ràng
Mức phù hợp với người mới
45/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.