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: 98 rules found
cert
    Impact
      Clean code attribute
        1. "abort", "exit", "getenv" and "system" from <stdlib.h> should not be used

           Bug
        2. "atof", "atoi" and "atol" from <stdlib.h> should not be used

           Bug
        3. "setjmp" and "longjmp" should not be used

           Code Smell
        4. Reserved identifiers should not be defined or declared

           Code Smell
        5. In the definition of a function-like macro, each instance of a parameter shall be enclosed in parentheses, unless it is used as the operand of # or ##

           Code Smell
        6. Function-like macros should not be used

           Code Smell
        7. The address of an automatic object should not be assigned to another object that may persist after the first object has ceased to exist

           Bug
        8. Function exit paths should have appropriate return values

           Bug
        9. The number of arguments passed to a function should match the number of parameters

           Bug
        10. Functions without parameters should be declared with parameter type "void"

           Code Smell
        11. Functions should not be defined with a variable number of arguments

           Code Smell
        12. The right-hand operands of && and || should not contain side effects

           Code Smell
        13. Increment (++) and decrement (--) operators should not be used in a method call or mixed with other operators in an expression

           Code Smell
        14. Bitwise operators should not be applied to signed operands

           Bug
        15. Boolean operations should not have numeric operands, and vice versa

           Bug
        16. Limited dependence should be placed on operator precedence

           Code Smell
        17. Objects with integer type should not be converted to objects with pointer type

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

           Code Smell
        19. Signed and unsigned types should not be mixed in expressions

           Code Smell
        20. Array declarations should include an explicit size specification

           Code Smell
        21. Object and function types should be explicitly stated in their declarations and definitions

           Code Smell
        22. Functions should be declared explicitly

           Code Smell
        23. Literal suffix "L" for long integers shall be upper case

           Code Smell
        24. String literals with different prefixes should not be concatenated

           Bug
        25. Bit fields should be declared with appropriate types

           Code Smell
        26. Appropriate char types should be used for character and integer values

           Code Smell
        27. Identifiers should not be longer than 31 characters

           Code Smell
        28. Trigraphs should not be used

           Code Smell
        29. All uses of the #pragma directive should be documented

           Code Smell
        30. Names of well-known C standard library macros and functions should not be used as identifiers

           Code Smell
        31. Hard-coded secrets are security-sensitive

           Security Hotspot
        32. "sprintf" should not be used

           Security Hotspot
        33. Accessing files should not introduce TOCTOU vulnerabilities

           Vulnerability
        34. Macros should not be used as replacements for "typedef" and "using"

           Code Smell
        35. Using "tmpnam", "tmpnam_s" or "tmpnam_r" is security-sensitive

           Security Hotspot
        36. Using "strncpy" or "wcsncpy" is security-sensitive

           Security Hotspot
        37. Using "strncat" or "wcsncat" is security-sensitive

           Security Hotspot
        38. Using "strcat" or "wcscat" is security-sensitive

           Security Hotspot
        39. Using "strlen" or "wcslen" is security-sensitive

           Security Hotspot
        40. Using "strcpy" or "wcscpy" is security-sensitive

           Security Hotspot
        41. POSIX functions should not be called with arguments that trigger buffer overflows

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

           Bug
        43. Cipher algorithms should be robust

           Vulnerability
        44. Encryption algorithms should be used with secure mode and padding scheme

           Vulnerability
        45. User-defined types should not be passed as variadic arguments

           Bug
        46. Expanding archive files without controlling resource consumption is security-sensitive

           Security Hotspot
        47. Server certificates should be verified during SSL/TLS connections

           Vulnerability
        48. Integral operations should not overflow

           Bug
        49. Local variables should not be volatile

           Code Smell
        50. Closed resources should not be accessed

           Bug
        51. Dynamically allocated memory should be released

           Bug
        52. Freed memory should not be used

           Bug
        53. Memory access should be explicitly bounded to prevent buffer overflows

           Bug
        54. Zero should not be a possible denominator

           Bug
        55. Format strings should be used correctly

           Code Smell
        56. "sizeof" should not be called on pointers

           Bug
        57. Declarations should not be empty

           Code Smell
        58. Multiline blocks should be enclosed in curly braces

           Code Smell
        59. "nonnull" parameters and return values of "returns_nonnull" functions should not be null

           Bug
        60. Setting loose POSIX file permissions is security-sensitive

           Security Hotspot
        61. Conditionally executed code should be reachable

           Bug
        62. Printf-style format strings should not lead to unexpected behavior at runtime

           Bug
        63. Null pointers should not be dereferenced

           Bug
        64. Using pseudorandom number generators (PRNGs) is security-sensitive

           Security Hotspot
        65. "for" loop counters should not have essentially floating type

           Bug
        66. Resources should be closed

           Bug
        67. Hard-coded passwords are security-sensitive

           Security Hotspot
        68. Comment styles "//" and "/* ... */" should not be mixed within a file

           Code Smell
        69. Obsolete POSIX functions should not be used

           Code Smell
        70. Code annotated as deprecated should not be used

           Code Smell
        71. Related "if/else if" statements should not have the same condition

           Bug
        72. Unused assignments should be removed

           Code Smell
        73. "restrict" should not be used

           Code Smell
        74. Pointers should not be cast to integral types

           Bug
        75. Identical expressions should not be used on both sides of a binary operator

           Bug
        76. All code should be reachable

           Bug
        77. "#pragma warning (default: ...)" should not be used

           Code Smell
        78. Multiple variables should not be declared on the same line

           Code Smell
        79. Variables should not be self-assigned

           Bug
        80. File names should comply with a naming convention

           Code Smell
        81. Octal values should not be used

           Code Smell
        82. Using hardcoded IP addresses is security-sensitive

           Security Hotspot
        83. "switch" statements should have "default" clauses

           Code Smell
        84. Switch cases should end with an unconditional "break" statement

           Code Smell
        85. "if ... else if" constructs should end with "else" clauses

           Code Smell
        86. Control structures should use curly braces

           Code Smell
        87. Unused function parameters should be removed

           Code Smell
        88. Assignments should not be made from within conditions

           Code Smell
        89. Variables should not be shadowed

           Code Smell
        90. Empty statements should be removed

           Code Smell
        91. "/*" and "//" should not be used within comments

           Code Smell
        92. Insecure functions should not be used

           Vulnerability
        93. Unused labels should be removed

           Code Smell
        94. Control should not be transferred into a complex logic block using a "goto" or a "switch" statement

           Code Smell
        95. A function with non-"void" return type shall return a value on all paths

           Bug
        96. The built-in relational operators ">", ">=", "<" and "<=" shall not be applied to objects of pointer type, except where they point to elements of the same array

           Bug
        97. Subtraction between pointers shall only be applied to pointers that address elements of the same array

           Bug
        98. A value should not be "unnecessarily written" to a local object

           Code Smell

        Object and function types should be explicitly stated in their declarations and definitions

        intentionality - clear
        maintainability
        Code Smell
        • based-on-misra
        • cert

        Why is this an issue?

        More Info

        The C90 standard allows implicit typing of variables and functions, and some C compilers still support legacy code by allowing implicit typing. But it should not be used for new code because it might lead to confusion.

        Noncompliant code example

        extern x;
        const x;
        static fun(void);
        typedef ( *pfi ) ( void );
        

        Compliant solution

        extern int16_t x;
        const int16_t x;
        static int16_t fun(void);
        typedef int16_t ( *pfi ) ( void );
        
          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

        © 2025 SonarSource Sàrl. All rights reserved.

        Privacy Policy | Cookie Policy | Terms of Use