CodeSampleX

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

Dateien

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege