@@ -241,7 +241,7 @@ private module Cached {
241
241
TSummaryParameterNode ( FlowSummaryImpl:: Public:: SummarizedCallable c , ParameterPosition pos ) {
242
242
FlowSummaryImpl:: Private:: summaryParameterNodeRange ( c , pos )
243
243
} or
244
- TSynthHashSplatArgumentsNode ( CfgNodes:: ExprNodes:: CallCfgNode c ) {
244
+ TSynthHashSplatArgumentNode ( CfgNodes:: ExprNodes:: CallCfgNode c ) {
245
245
exists ( Argument arg | arg .isArgumentOf ( c , any ( ArgumentPosition pos | pos .isKeyword ( _) ) ) )
246
246
}
247
247
@@ -422,7 +422,7 @@ predicate nodeIsHidden(Node n) {
422
422
or
423
423
n instanceof SynthHashSplatParameterNode
424
424
or
425
- n instanceof SynthHashSplatArgumentsNode
425
+ n instanceof SynthHashSplatArgumentNode
426
426
}
427
427
428
428
/** An SSA definition, viewed as a node in a data flow graph. */
@@ -602,7 +602,7 @@ private module ParameterNodes {
602
602
* ```
603
603
*
604
604
* where direct keyword matching is possible, since we construct a synthesized hash
605
- * splat argument (`SynthHashSplatArgumentsNode `) at the call site, which means that
605
+ * splat argument (`SynthHashSplatArgumentNode `) at the call site, which means that
606
606
* `taint(1)` will flow into `p1` both via normal keyword matching and via the synthesized
607
607
* nodes (and similarly for `p2`). However, this redunancy is OK since
608
608
* (a) it means that type-tracking through keyword arguments also works in most cases,
@@ -764,10 +764,10 @@ private module ArgumentNodes {
764
764
* part of the method signature, such that those cannot end up in the hash-splat
765
765
* parameter.
766
766
*/
767
- class SynthHashSplatArgumentsNode extends ArgumentNode , TSynthHashSplatArgumentsNode {
767
+ class SynthHashSplatArgumentNode extends ArgumentNode , TSynthHashSplatArgumentNode {
768
768
CfgNodes:: ExprNodes:: CallCfgNode c ;
769
769
770
- SynthHashSplatArgumentsNode ( ) { this = TSynthHashSplatArgumentsNode ( c ) }
770
+ SynthHashSplatArgumentNode ( ) { this = TSynthHashSplatArgumentNode ( c ) }
771
771
772
772
override predicate argumentOf ( DataFlowCall call , ArgumentPosition pos ) {
773
773
this .sourceArgumentOf ( call .asCall ( ) , pos )
@@ -779,10 +779,10 @@ private module ArgumentNodes {
779
779
}
780
780
}
781
781
782
- private class SynthHashSplatArgumentsNodeImpl extends NodeImpl , TSynthHashSplatArgumentsNode {
782
+ private class SynthHashSplatArgumentNodeImpl extends NodeImpl , TSynthHashSplatArgumentNode {
783
783
CfgNodes:: ExprNodes:: CallCfgNode c ;
784
784
785
- SynthHashSplatArgumentsNodeImpl ( ) { this = TSynthHashSplatArgumentsNode ( c ) }
785
+ SynthHashSplatArgumentNodeImpl ( ) { this = TSynthHashSplatArgumentNode ( c ) }
786
786
787
787
override CfgScope getCfgScope ( ) { result = c .getExpr ( ) .getCfgScope ( ) }
788
788
@@ -1004,7 +1004,7 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
1004
1004
or
1005
1005
// Wrap all keyword arguments in a synthesized hash-splat argument node
1006
1006
exists ( CfgNodes:: ExprNodes:: CallCfgNode call , ArgumentPosition keywordPos , string name |
1007
- node2 = TSynthHashSplatArgumentsNode ( call ) and
1007
+ node2 = TSynthHashSplatArgumentNode ( call ) and
1008
1008
node1 .asExpr ( ) .( Argument ) .isArgumentOf ( call , keywordPos ) and
1009
1009
keywordPos .isKeyword ( name ) and
1010
1010
c = getKeywordContent ( name )
0 commit comments