SONARJAVA-6788: Implement S9361: Duplicate keys or elements should not be passed to immutable collection factory methods

[nathsou]

Summary

• Implement S9361 (DuplicateImmutableCollectionArgumentsCheck) in SonarJava.
• Flag duplicate keys in Map.of(...) and Map.ofEntries(...).
• Flag duplicate elements in Set.of(...).
• Add comprehensive test samples and .withoutSemantic() check verifier tests.
• Add generated rule metadata and Sonar way profile entry.

Links

• Jira: https://sonarsource.atlassian.net/browse/SONARJAVA-6788
• RSPEC PR: https://github.com/SonarSource/rspec/pull/7943

AI disclosure

• LLM model used for implementation: gemini-3.7-flash-high

[hashicorp-vault-sonar-prod]

SONARJAVA-6788

[romainbrenguier]

Some changes to make on the rspec side, but the java implementation looks good.

[gitar-bot]

Code Review ✅ Approved 3 resolved / 3 findings

Implements rule S9361 to flag duplicate keys or elements in immutable collection factory methods, resolving infinite recursion on cyclic field initializers and fixing HTML formatting in the metadata.

✅ 3 resolved

✅ Quality: HTML 'How to fix it' uses markdown bullets that won't render

📄 sonar-java-plugin/src/main/resources/org/sonar/l10n/java/rules/java/S9361.html:10-13
The <p> in the "How to fix it" section embeds * For Map.of()... and * For Set.of()... as inline markdown-style bullets. In rendered HTML these asterisks appear as literal text on a single run-on line instead of a list. Use proper <ul>/<li> markup so the guidance renders as a list.

✅ Edge Case: resolveExpression can recurse infinitely on cyclic field initializers

📄 java-checks/src/main/java/org/sonar/java/checks/DuplicateImmutableCollectionArgumentsCheck.java:172-184
resolveExpression recurses through getSingleWriteUsage with no visited/depth guard, unlike the analogous ExpressionsHelper.valueResolution which tracks evaluatedSymbols to break cycles. Mutually- or self-referential field constants (e.g. static int a = b; static int b = a; or int a = a;) each report a single write usage pointing back at the other, so resolving one key against another in Map.of(a, 1, b, 2) recurses forever and throws StackOverflowError, aborting analysis of the file. Track already-visited symbols (or cap recursion depth) and stop when a symbol repeats.

✅ Bug: withoutSemantic test expects issues that require semantics

📄 java-checks/src/test/java/org/sonar/java/checks/DuplicateImmutableCollectionArgumentsCheckTest.java:34-41 📄 java-checks/src/main/java/org/sonar/java/checks/DuplicateImmutableCollectionArgumentsCheck.java:76-82
test_without_semantic calls .withoutSemantic().verifyIssues(), but the check reports issues only when MAP_OF/MAP_OF_ENTRIES/SET_OF (all MethodMatchers on fully-qualified types like java.util.Map) match. Without semantics, id.symbol() is unknown so MethodMatchers.matches returns false and no issues are raised, while verifyIssues() expects every // Noncompliant line in the sample to be flagged. The test will fail. Change the assertion to .verifyNoIssues() (the conventional pattern for semantics-dependent checks).

Implementation Status ✅ 1 / 1 issues implemented

✅ SONARJAVA-6788 — 1 / 1 objectives

The PR successfully implements the S9361 rule to detect duplicate keys or elements in Java immutable collection factory methods.

✅ 1 complete

• ✅ Implement rule S9361 to detect duplicate keys or elements passed to Java immutable collection factory methods like Map.of(), Map.ofEntries(), and Set.of()

Options

Auto-apply is off → Gitar will not commit updates to this branch.
Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Auto-apply	Compact
gitar auto-apply:on	gitar display:verbose

_{Was this helpful? React with 👍 / 👎 | Gitar}

[sonarqube-next]

Quality Gate passed

Issues
0 New issues
0 Fixed issues
0 Accepted issues

Measures
0 Security Hotspots
0 Dependency risks
91.2% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube