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
C

C static code analysis

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

  • All rules 420
  • Vulnerability14
  • Bug111
  • Security Hotspot19
  • Code Smell276

  • Quick Fix 27
Filtered: 30 rules found
misra-advisory
    Impact
      Clean code attribute
        1. Floating-point arithmetic should be used appropriately

           Bug
        2. The "goto" statement should not be used

           Code Smell
        3. The built-in unary "+" operator should not be used

           Code Smell
        4. Functions with "limited visibility" should be "used" at least once

           Code Smell
        5. All variables should be initialized

           Code Smell
        6. "Dynamic memory" should not be used

           Code Smell
        7. The "#pragma" directive and the "_Pragma" operator should not be used

           Code Smell
        8. The "#" and "##" preprocessor operators should not be used

           Code Smell
        9. Program-terminating functions should not be used

           Code Smell
        10. Bit-fields should not be declared

           Code Smell
        11. A "declaration" should not declare more than one variable or member variable

           Code Smell
        12. The target type of a pointer or "lvalue" reference parameter should be const-qualified appropriately

           Code Smell
        13. The result of an assignment operator should not be "used"

           Code Smell
        14. An unsigned arithmetic operation with constant operands should not wrap

           Bug
        15. The comma operator should not be used

           Code Smell
        16. The right-hand operand of a logical "&&" or "||" operator should not contain "persistent side effects"

           Bug
        17. The built-in unary "-" operator should not be applied to an expression of unsigned type

           Bug
        18. A cast should not convert a pointer type to an integral type

           Code Smell
        19. The "declaration" of an object should contain no more than two levels of pointer indirection

           Code Smell
        20. Parentheses should be used to make the meaning of an expression appropriately explicit

           Code Smell
        21. The names of the "standard signed integer types" and "standard unsigned integer types" should not be used

           Code Smell
        22. A function or object with external linkage should be "introduced" in a "header file"

           Code Smell
        23. "#undef" should only be used for macros defined previously in the same file

           Code Smell
        24. "#include" directives should only be preceded by preprocessor directives or comments

           Code Smell
        25. Sections of code should not be "commented out"

           Code Smell
        26. "Trigraph-like sequences" should not be used

           Code Smell
        27. A value should not be "unnecessarily written" to a local object

           Code Smell
        28. Types with "limited visibility" should be "used" at least once

           Code Smell
        29. Variables with "limited visibility" should be "used" at least once

           Code Smell
        30. Controlling expressions should not be invariant

           Bug

        Sections of code should not be "commented out"

        intentionality - clear
        maintainability
        Code Smell
        • unused
        • misra-c++2023
        • misra-advisory
        • misra-directive

        Why is this an issue?

        More Info

        This rule is part of MISRA C++:2023.

        Usage of this content is governed by Sonar’s terms and conditions. Redistribution is prohibited.

        Dir 5.7.2 - Sections of code should not be "commented out"

        Category: Advisory

        Amplification

        This directive applies to the use of both // and /* ... */ style comments.

        For the purposes of this directive, the use of #if 0 is also considered to be "commenting out".

        Rationale

        Comments should only be used to explain aspects of the source code; they should not be used to record the history of changes to the source code.

        In addition, whilst the nesting of C-style comments is not supported by the C++ Standard, it is supported by some compilers. This means that the commenting out of any code that contains comments may behave differently with different compilers (see M23_025: MISRA C++ 2023 Rule 5.7.1).

        This directive is generally undecidable, as it is not always possible for a tool to determine if a comment contains explanatory text, a code example or commented out code.

        Note: it is acknowledged that it may be useful to quote statements or expressions as part of a larger comment in order to document and explain some aspect of the program (e.g. clarifying the use of a function, or explaining the algorithm being implemented). Such usage is not the intended target of this directive.

        Example

        The following compliant example documents an API with the use of pseudo-code. It is assumed that code wrapped within the ``` markup is recognized as documentation and is not commented out code.

        // You should not call lock/unlock directly, but through RAII:
        // ```
        //   void f( Data & d, MyMutex & m )
        //   {
        //     std::scoped_lock lock { m };
        //     d.doSomething();
        //   }  // m is automatically unlocked
        // ```
        
        struct MyMutex
        {
          void lock();
          void unlock();
        };
        

        The following non-compliant example uses a comment to record code history.

        // Bug 42 - this call used to be:
        //   calculate ( z , y + 1 );
        calculate ( x , y - 1 );
        
        enum E
        {
        #if 0    // Non-compliant
          E_0    // - this is considered to be commented out code
        #else
          E_1
        #endif
        };
        

        Copyright The MISRA Consortium Limited © 2023

          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

        © 2025 SonarSource Sàrl. All rights reserved.

        Privacy Policy | Cookie Policy | Terms of Use