@@ -275,9 +275,12 @@ class CalleeName extends EndpointFeature, TCalleeName {
275275 override string getName ( ) { result = "calleeName" }
276276
277277 override string getValue ( DataFlow:: Node endpoint ) {
278- exists ( DataFlow:: CallNode call | endpoint = call .getAnArgument ( ) |
279- result = strictconcat ( string component | component = call .getCalleeName ( ) | component , " " )
280- )
278+ result =
279+ strictconcat ( DataFlow:: CallNode call , string component |
280+ endpoint = call .getAnArgument ( ) and component = call .getCalleeName ( )
281+ |
282+ component , " "
283+ )
281284 }
282285}
283286
@@ -288,14 +291,13 @@ class ReceiverName extends EndpointFeature, TReceiverName {
288291 override string getName ( ) { result = "receiverName" }
289292
290293 override string getValue ( DataFlow:: Node endpoint ) {
291- exists ( DataFlow:: CallNode call | endpoint = call .getAnArgument ( ) |
292- result =
293- strictconcat ( string component |
294- component = call .getReceiver ( ) .asExpr ( ) .( VarRef ) .getName ( )
295- |
296- component , " "
297- )
298- )
294+ result =
295+ strictconcat ( DataFlow:: CallNode call , string component |
296+ endpoint = call .getAnArgument ( ) and
297+ component = call .getReceiver ( ) .asExpr ( ) .( VarRef ) .getName ( )
298+ |
299+ component , " "
300+ )
299301 }
300302}
301303
@@ -306,14 +308,13 @@ class ArgumentIndex extends EndpointFeature, TArgumentIndex {
306308 override string getName ( ) { result = "argumentIndex" }
307309
308310 override string getValue ( DataFlow:: Node endpoint ) {
309- exists ( DataFlow:: CallNode call | endpoint = call .getAnArgument ( ) |
310- result =
311- strictconcat ( string component |
312- component = any ( int argIndex | call .getArgument ( argIndex ) = endpoint ) .toString ( )
313- |
314- component , " "
315- )
316- )
311+ result =
312+ strictconcat ( DataFlow:: CallNode call , string component |
313+ endpoint = call .getAnArgument ( ) and
314+ component = any ( int argIndex | call .getArgument ( argIndex ) = endpoint ) .toString ( )
315+ |
316+ component , " "
317+ )
317318 }
318319}
319320
@@ -331,16 +332,13 @@ class CalleeApiName extends EndpointFeature, TCalleeApiName {
331332 override string getName ( ) { result = "calleeApiName" }
332333
333334 override string getValue ( DataFlow:: Node endpoint ) {
334- exists ( API:: Node apiNode |
335- endpoint = apiNode .getInducingNode ( ) .( DataFlow:: CallNode ) .getAnArgument ( )
336- |
337- result =
338- strictconcat ( string component |
339- AccessPaths:: accessPaths ( apiNode , false , _, component )
340- |
341- component , " "
342- )
343- )
335+ result =
336+ strictconcat ( API:: Node apiNode , string component |
337+ endpoint = apiNode .getInducingNode ( ) .( DataFlow:: CallNode ) .getAnArgument ( ) and
338+ AccessPaths:: accessPaths ( apiNode , false , _, component )
339+ |
340+ component , " "
341+ )
344342 }
345343}
346344
0 commit comments