GoSyncMap

sync.Map provides a concurrent map. Load() and Store() are relevant for data flow tracking in concurrent handlers where shared state is modified.

1 source

Taint flow1 source → 0 sinks

Sources — untrusted input

.Load()Loads value from map

Sources

— user-controlled input enters here

.Load()Source

Signature

Load(key any) (value any, ok bool)

Loads value from map. Source of taint when map stores user-controlled data.

tracks:return

.Store()Neutral

Signature

Store(key, value any)

Stores value in map. Propagates taint from value.

FQN	Field
sync.Map	fqns[0]

Wrong FQN → 0 findings. Verify with: change fqns to garbage → must produce 0 results.

go.mod

// standard library — no go.mod entry required

rule.py

from codepathfinder.go_rule import GoSyncMap