Skip to content

Commit e47e824

Browse files
committed
C#: Restrict ExplicitParameterNode to those that belong to unbound callables
1 parent 4a33181 commit e47e824

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -691,7 +691,7 @@ private module Cached {
691691
not def.(Ssa::ExplicitDefinition).getADefinition() instanceof
692692
AssignableDefinitions::ImplicitParameterDefinition
693693
} or
694-
TExplicitParameterNode(DotNet::Parameter p) { p.isUnboundDeclaration() } or
694+
TExplicitParameterNode(DotNet::Parameter p) { p = any(DataFlowCallable c).getAParameter() } or
695695
TInstanceParameterNode(Callable c) {
696696
c.isUnboundDeclaration() and not c.(Modifiable).isStatic()
697697
} or

0 commit comments

Comments
 (0)