hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-11 18:14:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix CP in typeFlowParamType

Browse Source 
Forgot to link `p` with `c` using `nodeEnclosingCallable(p, c)`.
This commit is contained in:
Tom Hvitved
2026-04-09 09:18:08 +02:00
parent 0d4524f8f3
commit d704b753c8
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -2115,11 +2115,13 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
* context.
*/
private predicate typeFlowParamType(ParamNode p, Type t, boolean cc) {
exists(Callable c |
Input::dataFlowNonCallEntry(c, cc) and
if cc = true and exists(getSourceContextParameterNodeType(p))
then t = getSourceContextParameterNodeType(p)
else trackedParamWithType(p, t, c)
exists(Callable c | Input::dataFlowNonCallEntry(c, cc) |
cc = true and
nodeEnclosingCallable(p, c) and
t = getSourceContextParameterNodeType(p)
or
(cc = false or not exists(getSourceContextParameterNodeType(p))) and
trackedParamWithType(p, t, c)
)
or
exists(Type t1, Type t2 |