CodeVetter
← All X-Rays
CodeVetter · local evidence export

Nil-pointer dereference on missing map value in Go

codevetter-public-benchmark/go-nil-pointer

detected · 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

mediumbenchmark ground truth

nil dereference

FindUser dereferences u.Email without checking that the map lookup returned a non-nil pointer, so a missing id causes a nil pointer dereference and a process crash.

source.go:16