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
  • SwiftSwift
  • TerraformTerraform
  • TextText
  • TypeScriptTypeScript
  • T-SQLT-SQL
  • VB.NETVB.NET
  • VB6VB6
  • XMLXML
  • YAMLYAML
C

C static code analysis

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

  • All rules 315
  • Vulnerability13
  • Bug76
  • Security Hotspot19
  • Code Smell207

  • Quick Fix 19
Filtered: 10 rules found
cppcoreguidelines
    Impact
      Clean code attribute
        1. Function-like macros should not be used

           Code Smell
        2. Boolean operations should not have numeric operands, and vice versa

           Bug
        3. A cast shall not remove any const or volatile qualification from the type of a pointer or reference

           Code Smell
        4. Loop variables should be declared in the minimal possible scope

           Code Smell
        5. Relational and subtraction operators should not be used with pointers to different arrays

           Bug
        6. Arguments evaluation order should not be relied on

           Bug
        7. User-defined types should not be passed as variadic arguments

           Bug
        8. Local variables and member data should not be volatile

           Code Smell
        9. Types and variables should be declared in separate statements

           Code Smell
        10. Type specifiers should be listed in a standard order

           Code Smell

        Relational and subtraction operators should not be used with pointers to different arrays

        intentionality - logical
        reliability
        Bug
        • cppcoreguidelines
        • based-on-misra

        Why is this an issue?

        More Info

        Attempting to make a comparison between pointers using >, >=, < or <= will produce undefined behavior if the two pointers point to different arrays.

        Additionally, directly comparing two arrays for equality or inequality has been deprecated in C++.

        However, equality or inequality between an array and a pointer is still valid

        Noncompliant code example

        void f1 ( )
        {
          int a1[ 10 ];
          int a2[ 10 ];
          int * p1 = a1;
          if ( p1 < a2 ) // Non-compliant, p1 and a2 point to different arrays.
          {
          }
          if ( p1 - a2 > 0 ) // Non-compliant, p1 and a2 point to different arrays.
          {
          }
          if ( a1 == a2) // Non-compliant (in C++). Comparing different array for equality is deprecated
          {
          }
        }
        

        Compliant solution

        void f1 ( )
        {
          int a1[ 10 ];
          int * p1 = a1;
          if ( p1 < a1 ) // Compliant, p1 and a1 point to the same array.
          {
          }
          if ( p1 - a1 > 0 )  // Compliant, p1 and a1 point to the same array.
          {
          }
          if ( p1 == a2 ) // Compliant, comparing a pointer and an array for equality is valid
          {
          }
        }
        
          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 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