@@ -37,11 +37,11 @@ class BufferTypedArray extends DataFlow::AdditionalFlowStep {
37
37
}
38
38
}
39
39
40
- class SetLike extends SummarizedCallable {
41
- SetLike ( ) { this = "TypedArray#set" }
40
+ class TypedArraySet extends SummarizedCallable {
41
+ TypedArraySet ( ) { this = "TypedArray#set" }
42
42
43
43
override InstanceCall getACall ( ) {
44
- result = typedArrayConstructorRef ( ) .getAnInstantiation ( ) . getReturn ( ) .getMember ( "set" ) .getACall ( )
44
+ result = typedArrayConstructorRef ( ) .getInstance ( ) .getMember ( "set" ) .getACall ( )
45
45
}
46
46
47
47
override predicate propagatesFlow ( string input , string output , boolean preservesValue ) {
@@ -51,13 +51,10 @@ class SetLike extends SummarizedCallable {
51
51
}
52
52
}
53
53
54
- class SubArrayLike extends SummarizedCallable {
55
- SubArrayLike ( ) { this = "TypedArray#subarray" }
54
+ class TypedArraySubarray extends SummarizedCallable {
55
+ TypedArraySubarray ( ) { this = "TypedArray#subarray" }
56
56
57
- override InstanceCall getACall ( ) {
58
- result =
59
- typedArrayConstructorRef ( ) .getAnInstantiation ( ) .getReturn ( ) .getMember ( "subarray" ) .getACall ( )
60
- }
57
+ override InstanceCall getACall ( ) { result .getMethodName ( ) = "subarray" }
61
58
62
59
override predicate propagatesFlow ( string input , string output , boolean preservesValue ) {
63
60
preservesValue = true and
@@ -95,12 +92,7 @@ class TransferLike extends SummarizedCallable {
95
92
TransferLike ( ) { this = "ArrayBuffer#transfer" }
96
93
97
94
override InstanceCall getACall ( ) {
98
- result =
99
- arrayBufferConstructorRef ( )
100
- .getAnInstantiation ( )
101
- .getReturn ( )
102
- .getMember ( [ "transfer" , "transferToFixedLength" ] )
103
- .getACall ( )
95
+ result .getMethodName ( ) = [ "transfer" , "transferToFixedLength" ]
104
96
}
105
97
106
98
override predicate propagatesFlow ( string input , string output , boolean preservesValue ) {
0 commit comments