Represents context.Context. Value() can propagate tainted data stored by upstream handlers — treat returned values as taint sources in inter-procedural analysis.
.Value().Value()SourceValue(key any) any
Returns value associated with key. Source of taint when key is a request-scoped user-data key.
return.WithValue()NeutralWithValue(parent Context, key, val any) Context
Returns context carrying val. Propagates taint from val.
| FQN | Field | |
|---|---|---|
| context.Context | fqns[0] | |
| *.Context | patterns |
Wrong FQN → 0 findings. Verify with: change fqns to garbage → must produce 0 results.
// standard library — no go.mod entry required
from codepathfinder.go_rule import GoContext