codeql
codeql copied to clipboard
Dataflow: Deduplicate results when sinks accept multiple FlowStates.
Until now we've included the FlowState in the definition of PathNodeSink, but when sinks accept multiple states then this can show up as seemingly duplicate results. Projecting the state column away on sink nodes seems preferable.