SonarSource Rules
  • Products

    In-IDE

    Code Quality and Security in your IDE with SonarQube Ide

    IDE extension that lets you fix coding issues before they exist!

    Discover SonarQube for IDE

    SaaS

    Code Quality and Security in the cloud with SonarQube Cloud

    Setup is effortless and analysis is automatic for most languages

    Discover SonarQube Cloud

    Self-Hosted

    Code Quality and Security Self-Hosted with SonarQube Server

    Fast, accurate analysis; enterprise scalability

    Discover SonarQube Server
  • SecretsSecrets
  • ABAPABAP
  • AnsibleAnsible
  • ApexApex
  • AzureResourceManagerAzureResourceManager
  • CC
  • C#C#
  • C++C++
  • CloudFormationCloudFormation
  • COBOLCOBOL
  • CSSCSS
  • DartDart
  • DockerDocker
  • FlexFlex
  • GitHub ActionsGitHub Actions
  • GoGo
  • HTMLHTML
  • JavaJava
  • JavaScriptJavaScript
  • JSONJSON
  • JCLJCL
  • KotlinKotlin
  • KubernetesKubernetes
  • Objective CObjective C
  • PHPPHP
  • PL/IPL/I
  • PL/SQLPL/SQL
  • PythonPython
  • RPGRPG
  • RubyRuby
  • RustRust
  • ScalaScala
  • ShellShell
  • SwiftSwift
  • TerraformTerraform
  • TextText
  • TypeScriptTypeScript
  • T-SQLT-SQL
  • VB.NETVB.NET
  • VB6VB6
  • XMLXML
  • YAMLYAML
Java

Java static code analysis

Unique rules to find Bugs, Vulnerabilities, Security Hotspots, and Code Smells in your JAVA code

  • All rules 733
  • Vulnerability60
  • Bug175
  • Security Hotspot40
  • Code Smell458

  • Quick Fix 65
Filtered: 23 rules found
symbolic-execution
    Impact
      Clean code attribute
        1. XML signatures should be validated securely

           Vulnerability
        2. XML parsers should not be vulnerable to Denial of Service attacks

           Vulnerability
        3. XML parsers should not load external schemas

           Vulnerability
        4. XML parsers should not allow inclusion of arbitrary files

           Vulnerability
        5. Nullness of parameters should be guaranteed

           Code Smell
        6. Assignments should not be redundant

           Code Smell
        7. Consumed Stream pipelines should not be reused

           Bug
        8. Intermediate Stream methods should not be left unused

           Bug
        9. "Map.get" and value test should be replaced with single method call

           Code Smell
        10. Optional value should only be accessed after calling isPresent()

           Bug
        11. Custom resources should be closed

           Bug
        12. Zero should not be a possible denominator

           Bug
        13. Methods returns should not be invariant

           Code Smell
        14. Min and max used in combination should not always return the same value

           Bug
        15. XML parsers should not be vulnerable to XXE attacks

           Vulnerability
        16. Files opened in append mode should not be used with "ObjectOutputStream"

           Bug
        17. "@NonNull" values should not be set to null

           Bug
        18. Boolean expressions should not be gratuitous

           Code Smell
        19. Conditionally executed code should be reachable

           Bug
        20. Null pointers should not be dereferenced

           Bug
        21. Locks should be released on all paths

           Bug
        22. Loops should not be infinite

           Bug
        23. Resources should be closed

           Bug

        Min and max used in combination should not always return the same value

        intentionality - logical
        reliability
        Bug
        • symbolic-execution

        Why is this an issue?

        When using Math.min() and Math.max() together for bounds checking, it’s important to feed the right operands to each method. Math.min() should be used with the upper end of the range being checked, and Math.max() should be used with the lower end of the range. Get it backwards, and the result will always be the same end of the range.

        Noncompliant code example

          private static final int UPPER = 20;
          private static final int LOWER = 0;
        
          public int doRangeCheck(int num) {    // Let's say num = 12
            int result = Math.min(LOWER, num);  // result = 0
            return Math.max(UPPER, result);     // Noncompliant; result is now 20: even though 12 was in the range
          }
        

        Compliant solution

        Swapping method min() and max() invocations without changing parameters.

          private static final int UPPER = 20;
          private static final int LOWER = 0;
        
          public int doRangeCheck(int num) {    // Let's say num = 12
            int result = Math.max(LOWER, num);  // result = 12
            return Math.min(UPPER, result);     // Compliant; result is still 12
          }
        

        or swapping bounds UPPER and LOWER used as parameters without changing the invoked methods.

          private static final int UPPER = 20;
          private static final int LOWER = 0;
        
          public int doRangeCheck(int num) {    // Let's say num = 12
            int result = Math.min(UPPER, num);  // result = 12
            return Math.max(LOWER, result);     // Compliant; result is still 12
          }
        
          Available In:
        • SonarQube IdeCatch issues on the fly,
          in your IDE
        • SonarQube CloudDetect issues in your GitHub, Azure DevOps Services, Bitbucket Cloud, GitLab repositories
        • SonarQube Community BuildAnalyze code in your
          on-premise CI
          Available Since
          9.1
        • SonarQube ServerAnalyze code in your
          on-premise CI
          Developer Edition
          Available Since
          9.1

        © 2008-2025 SonarSource SA. All rights reserved.

        Privacy Policy | Cookie Policy | Terms of Use