hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Data flow: Remove spurious space in Sink:x provenance

Browse Source
This commit is contained in:
Tom Hvitved
2024-09-18 13:10:24 +02:00
parent c53179f742
commit 2972a4eace
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -2963,16 +2963,17 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
)
or
// a final step to a sink
exists(string l2, string sinkmodel |
result = this.getSuccMid(l2).projectToSink(sinkmodel)
exists(string l2, string sinkmodel, string l2_ |
result = this.getSuccMid(l2).projectToSink(sinkmodel) and
if l2 = "" then l2_ = l2 else l2_ = l2 + " "
|
not this.isSourceWithLabel(_) and
if sinkmodel != "" then label = l2 + " Sink:" + sinkmodel else label = l2
if sinkmodel != "" then label = l2_ + "Sink:" + sinkmodel else label = l2
or
exists(string l1 |
this.isSourceWithLabel(l1) and
if sinkmodel != ""
then label = l1 + l2 + " Sink:" + sinkmodel
then label = l1 + l2_ + "Sink:" + sinkmodel
else label = l1 + l2
)
)