hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 15:05:56 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: fix debug/CaptureSummaryModelsPartialPath.ql

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-06-19 16:17:18 +02:00
parent 0e9d4aacd9
commit b5a7f87bbc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql
View File

@@ -23,6 +23,6 @@ from
where
PartialFlow::partialFlow(source, sink, _) and
p = source.getNode() and
p.asParameter() = api.getParamList().getAParamBase()
p.asParameter() = api.asFunction().getParamList().getAParamBase()
select sink.getNode(), source, sink, "There is flow from a $@ to $@.", source.getNode(),
"parameter", sink.getNode(), "intermediate value"