Ruby: mass enable diff-informed data flow none() location overrides

[d10c]

An auto-generated patch that enables diff-informed data flow in the obvious cases.

Adds getASelected{Source,Sink}Location() { none() } override to queries that select a dataflow source or sink as a location, but not both.

[Copilot]

Pull Request Overview

Enables diff-informed incremental data flow by overriding the selected-source location to none() in configs that only select a dataflow source.

• Implement getASelectedSourceLocation(DataFlow::Node) override in BasicTaintConfig
• Implement the same override in WeakParamsConfig
• Implement the same override in HttpVerbConfig

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File	Description
ruby/ql/src/queries/meta/TaintedNodes.ql	Added getASelectedSourceLocation override in BasicTaintConfig
ruby/ql/src/experimental/weak-params/WeakParams.ql	Added getASelectedSourceLocation override in WeakParamsConfig
ruby/ql/src/experimental/manually-check-http-verb/ManuallyCheckHttpVerb.ql	Added getASelectedSourceLocation override in HttpVerbConfig

Comments suppressed due to low confidence (2)

ruby/ql/src/queries/meta/TaintedNodes.ql:25

• [nitpick] Add a brief comment explaining why getASelectedSourceLocation is overridden to none() in diff-informed incremental mode, to aid future maintainers.

  Location getASelectedSourceLocation(DataFlow::Node source) { none() }

ruby/ql/src/queries/meta/TaintedNodes.ql:25

• No existing tests cover the new override behavior in diff-informed incremental mode; consider adding a unit test to verify that getASelectedSourceLocation returns none() as expected.

  Location getASelectedSourceLocation(DataFlow::Node source) { none() }

[Copilot]

[nitpick] This override is duplicated across multiple config modules; consider extracting it into a shared mixin or trait to reduce repetition.

Suggested change

	Location getASelectedSourceLocation(DataFlow::Node source) { none() }
	}
	private module SharedTaintConfig {
	Location getASelectedSourceLocation(DataFlow::Node source) { none() }
	}
	private module BasicTaintConfig implements DataFlow::ConfigSig, SharedTaintConfig {
	}