Ability to match on methods/functions/constructors with particular signatures

[jmle]

The analyzer should have the ability to match on methods, functions or constructors that are passed a specific argument type, for instance:

java.referenced:
  location: CONSTRUCTOR
  pattern: java.lang.String\(java.lang.StringBuilder\)

would match on:

StringBuilder arg = new StringBuilder("Hello World!")'
String str = new String(arg);

but not on:

String arg = "Hello World!";
String str = new String(arg);

We could either escape the parenthesis of the method call, as done in the yaml example above, or add an additional field, as in:

java.referenced:
  location: CONSTRUCTOR
  arguments:
    - java.lang.String
  pattern: java.lang.String(*)

[shawn-hurley]

Do we have customer's asking for this or is this preemptive? if we do have windup rules that have this how many?

just want to understand the relative importance of this feature

[jmle]

There seem to be a few:

I wouldn't say it's super important, but if it can be achieved we should definitely add it at some point.

[shawn-hurley]

That makes sense to add it, I am not at all opposed, was trying to get a sense of how important it is

[konveyor-ci-bot]

This issue is currently awaiting triage.
If contributors determine this is a relevant issue, they will accept it by applying the triage/accepted label and provide further guidance.
The triage/accepted label can be added by org members.

[konveyor-ci-bot]

This issue is currently awaiting triage.
If contributors determine this is a relevant issue, they will accept it by applying the triage/accepted label and provide further guidance.
The triage/accepted label can be added by org members.