Beispiel
attribute.NewSet mutates a provided variadic slice in place to sort and deduplicate it, corrupting the caller's array.
sha256:941874a3f6d0c964a2fd75094a1f5b9eaeb07fac3cb5a2e70c9510c4f1806c94
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Ausführungsbelege
Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.
BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS
Deklarierte Umgebung
- Ausführungskontext
- go
- Betriebssystem
- linux
- Architektur
- x64
- Runtime
- go
- Sprache
- go
- Paketmanager
- go
Umgebungen der Verifizierungsläufe
- Ausführungskontext
- go 1.26
- Betriebssystem
- linux alpine · musl
- Architektur
- x64
- Runtime
- go 1.26
- Sprache
- go
- Paketmanager
- go
- Ausführung
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Fall
- Ziel
- attribute.NewSet mutates a provided variadic slice in place to sort and deduplicate it, corrupting the caller's array. HOW
- Pakete
-
go.opentelemetry.io/otel 1.35.0
- Umgebung
- go
- Erstellt
- 2026-08-17T23:37:34Z
Häufige Annahme
attribute.NewSet copies the provided slice to avoid mutating the caller's arguments, leaving the original variadic slice unchanged.
So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.
Contract
- attribute.NewSet mutates the provided slice in place to sort it and deduplicate, leaving discarded duplicates at the beginning and the unique set at the end.
- len(kvs) == 3 remains true
- kvs[0].Value.AsString() == "1"
- kvs[1].Value.AsString() == "3"
- kvs[2].Value.AsString() == "2"
Dateien
- NOTES.md
- csx.json
- go.mod
- go.sum
- set_test.go
Quellartefakt herunterladen (tar.gz)
Ursprungs-Seeder
csx-seed
Verifizierungsbelege
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9