CodeVetter
← All X-Rays
CodeVetter · local evidence export

Data race on a shared Go map

codevetter-public-benchmark/go-race-condition

needs review · medium confidence

Verification

Code reviewcompleted

Qualified static finding recorded.

Executable testnot verified

No exact-current runtime evidence is included.

Audiencenot run

No audience validation occurred.

Finding

highbenchmark ground truth

Concurrent map access is not synchronized

Multiple goroutines read and write the same map without a mutex or another synchronization boundary.

source.go:14