SonarC#

189 Rules

Offering a set of powerful rules, SonarC# is all you need to find bugs, vulnerabilities, and code smells in your C# code. With SonarC#, monitoring your code quality is no longer a daunting task.


Bug
79

Vulnerability
4

Code Smell
106

Bug Detection Rules

Rule ID Name Sonar way Tags In Action
S2190 Recursion should not be infinite~10 issues
S2930 "IDisposables" should be disposedcwe, denial-of-service~8 issues
S2931 Classes with "IDisposable" members should implement "IDisposable"cwe, denial-of-service
S1944 Inappropriate casts should not be madecert, cwe, misra, pitfall~18 issues
S3449 Right operands of shift operators should be integers
S2952 Classes should "Dispose" of members from the classes' own "Dispose" methodscwe, denial-of-service
S2551 Types and "this" should not be used for lockingmulti-threading
S3216 "ConfigureAwait(false)" should be usedmulti-threading, suspicious
S2225 "ToString()" method should not return nullcwe
S2743 Static fields should not be used in generic types~63 issues
S112 General exceptions should never be throwncert, cwe, error-handling~1,233 issues
S2583 Conditions should not unconditionally evaluate to "true" or to "false"cert, cwe, misra, pitfall~76 issues
S1656 Variables should not be self-assignedcert~31 issues
S2995 "Object.ReferenceEquals" should not be used for value types
S2996 "ThreadStatic" fields should not be initializedmulti-threading~3 issues
S2234 Parameters should be passed in the correct order~27 issues
S1145 Useless "if(true) {...}" and "if(false){...}" blocks should be removedcwe, misra
S3445 Exceptions should not be explicitly rethrownconfusing, error-handling~1,212 issues
S3443 Type should not be examined on "System.Type" instancessuspicious
S3168 "async" methods should not return "void"multi-threading~23 issues
S2757 "=+" should not be used instead of "+="~28 issues
S2997 "IDisposables" created in a "using" statement should not be returned
S3603 Methods with "Pure" attribute should return a value
S3655 Empty nullable value should not be accessedcwe~9 issues
S1994 "for" loop incrementers should modify the variable being tested in the loop's stop conditionsuspicious
S2688 "NaN" should not be used in comparisonscert
S2201 Return values should not be ignored when function calls don't have any side effectscert, misra~84 issues
S2681 Multiline blocks should be enclosed in curly bracescert, cwe~28 issues
S3010 Static fields should not be updated in constructors~35 issues
S1764 Identical expressions should not be used on both sides of a binary operatorcert~10 issues
S1244 Floating point numbers should not be tested for equalitymisra~616 issues
S2178 Short-circuit logic should be used in boolean contextscert~63 issues
S3263 Static fields should appear in the order they must be initialized
S1698 "==" should not be used when "Equals" is overriddencert, cwe~111 issues
S1697 Short-circuit logic should be used to prevent null pointer dereferences in conditionals
S3598 One-way "OperationContract" methods should have "void" return type
S3597 "ServiceContract" and "OperationContract" attributes should be used togethersuspicious~1 issue
S1854 Dead stores should be removedcert, cwe, suspicious, unused~1,382 issues
S3249 Classes directly extending "object" should not call "base" in "GetHashCode" or "Equals"~6 issues
S1862 Related "if/else if" statements should not have the same conditioncert, pitfall, unused~1 issue
S3005 "ThreadStatic" should not be used on non-static fieldsunused
S3244 Anonymous delegates should not be used to unsubscribe from Events
S2275 Format strings should be passed the correct number of argumentscert, pitfall~7 issues
S2437 Silly bit operations should not be performedsuspicious~3 issues
S3610 Nullable type comparison should not be redundantredundant
S3453 Classes should not have only "private" constructorsdesign~51 issues
S2123 Values should not be uselessly incrementedunused~1 issue
S2761 Doubled prefix operators "!!" and "~~" should not be used
S3451 "[DefaultValue]" should not be used when "[DefaultParameterValue]" is meantsuspicious
S3172 Delegates should not be subtracted
S2259 Null pointers should not be dereferencedcert, cwe~44 issues
S3466 Optional parameters should be passed to "base" calls
S1163 Exceptions should not be thrown in finally blockscert, error-handling, suspicious
S2372 Exceptions should not be thrown from property getterserror-handling~315 issues
FailedUn. Failed unit tests should be fixed
S2345 Flags enumerations should explicitly initialize all their members~4 issues
S3397 "base.Equals" should not be used to check for reference equality in "Equals" if "base" is not "object"
S2184 Results of integer division should not be assigned to floating point variablescert, cwe, misra, sans-top25-risky~4 issues
S3169 Multiple "OrderBy" calls should not be usedperformance
S2197 Modulus results should not be checked for direct equalitycert, suspicious
S1871 Two branches in the same conditional structure should not have exactly the same implementationdesign, suspicious~542 issues
S2328 "GetHashCode" should not reference mutable fields~79 issues
S1116 Empty statements should be removedcert, misra, unused~130 issues
S1643 Strings should not be concatenated using '+' in a loopperformance~245 issues
S2692 "IndexOf" checks should not be for positive numberssuspicious~6 issues
S2291 Overflow checking should not be disabled for "Enumerable.Sum"error-handling
S3236 Caller information arguments should not be provided explicitlysuspicious~105 issues
S1210 When implementing "IComparable", "Equals(object o)" and the "<", ">", "==", "!=" operators should be overridden~2 issues
S1858 "ToString()" calls should not be redundantclumsy, finding
S2674 The length returned from a stream read should be checkedcert
S2955 Generic parameters not constrained to reference types should not be compared to "null"
S1226 Method parameters and caught exceptions should not be reassignedmisra, pitfall
S3457 "string.Format()" should not be called without placeholdersconfusing
S3456 "string.ToCharArray()" should not be called redundantlyclumsy~4 issues
S1155 "Any()" should be used to test for emptinessclumsy~301 issues
S2486 Generic exceptions should not be ignoredcwe, error-handling, suspicious~182 issues
S3220 Method calls should not resolve ambiguously to overloads with "params"pitfall~17 issues
S1449 Culture should be specified for "string" operationscert, unpredictable~1,394 issues
S2934 Property assignments should not be made for "readonly" fields not constrained to reference types

Vulnerability Detection Rules

Rule ID Name Sonar way Tags In Action
S2278 Neither DES (Data Encryption Standard) nor DESede (3DES) should be usedcert, cwe, owasp-a6, sans-top25-porous~12 issues
S2070 SHA-1 and Message-Digest hash algorithms should not be usedcwe, owasp-a6, sans-top25-porous
S1313 IP addresses should not be hardcodedcert
S2228 Console logging should not be usedowasp-a6

Code Smell Detection Rules

Rule ID Name Sonar way Tags In Action
S3427 Method overloads with default parameter values should not overlappitfall, unused~28 issues
S3237 "value" parameters should be usedpitfall~72 issues
S2387 Child class fields should not shadow parent class fieldsconfusing
S1451 Track lack of copyright and license headers
S2306 "async" and "await" should not be used as identifierspitfall~3 issues
S2953 Methods named "Dispose" should implement "IDisposable.Dispose"pitfall~19 issues
S2368 Public methods should not have multidimensional array parameterspitfall
S2346 Flags enumerations zero-value members should be named "None"convention~21 issues
S2223 Non-constant static fields should not be visiblepitfall~2,527 issues
S3600 "params" should not be introduced on overridesconfusing
S3447 "[Optional]" should not be used on "ref" or "out" parameterspitfall
S1541 Methods and properties should not be too complexbrain-overload
S121 Control structures should use curly bracescert, misra, pitfall
S2696 Instance members should not write to "static" fieldsmulti-threading~270 issues
S3265 Non-flags enums should not be used in bitwise operationsconvention~229 issues
S2330 Array covariance should not be usedpitfall
S2339 Public constant members should not be usedpitfall
S1006 Method overrides should not change parameter defaultscert, misra, pitfall~463 issues
S2290 Field-like events should not be virtual
S1699 Constructors should only call non-overridable methodscert, pitfall~22 issues
S1067 Expressions should not be too complexbrain-overload
S1186 Methods should not be emptysuspicious~404 issues
S3215 "interface" instances should not be cast to concrete typesdesign
S131 "switch/Select" statements should end with "default/Case Else" clausescert, cwe, misra
S134 Control flow statements "if", "switch", "for", "foreach", "while", "do" and "try" should not be nested too deeplybrain-overload~1,822 issues
S3217 "Explicit" conversions of "foreach" loops should not be usedsuspicious~61 issues
S3218 Inner class members should not shadow outer class "static" or type memberscert, design, pitfall~1,207 issues
S927 "partial" method parameter names should matchcert, misra, suspicious
S2360 Optional parameters should not be usedpitfall~5,129 issues
S126 "if ... else if" constructs should end with "else" clausescert, misra
S1134 Track uses of "FIXME" tagscwe~68 issues
S907 "goto" statement should not be usedbrain-overload, misra~335 issues
S103 Lines should not be too longconvention
S104 Files should not have too many lines of codebrain-overload~82 issues
S107 Methods should not have too many parametersbrain-overload~666 issues
S108 Nested blocks of code should not be left emptysuspicious~506 issues
S2357 Fields should be privatepitfall
S1144 Unused private types or members should be removedcert, unused~676 issues
S122 Statements should be on separate linesconvention
S2758 The ternary operator should not return the same value regardless of the condition~3 issues
S1118 Utility classes should not have public constructorsdesign~350 issues
S1117 Local variables should not shadow class fieldscert, pitfall~161 issues
S2326 Unused type parameters should be removedcert, unused~30 issues
S1479 "switch" statements should not have too many "case" clausesbrain-overload~19 issues
S2971 "IEnumerable" LINQs should be simplifiedclumsy~608 issues
S1121 Assignments should not be made from within sub-expressionscert, cwe, misra, suspicious~582 issues
S3264 Events should be invokedunused~2 issues
S3262 "params" should be used on overridesconfusing
S1172 Unused method parameters should be removedcert, misra, unused~407 issues
S3246 Generic type parameters should be co/contravariant when possibleapi-design~49 issues
S1066 Collapsible "if" statements should be mergedclumsy~840 issues
S125 Sections of code should not be "commented out"misra, unused~4,290 issues
S127 "for" loop stop conditions should be invariantmisra, pitfall
S2376 Write-only properties should not be usedpitfall~25 issues
S1848 Objects should not be created to be dropped immediately without being used~13 issues
S2933 Fields that are only assigned in the constructor should be "readonly"confusing~5,072 issues
Insuffic. Lines should have sufficient coverage by testsbad-practice
Insuffic. Branches should have sufficient coverage by testsbad-practice
Duplicat. Source files should not have any duplicated blockspitfall
Insuffic. Source files should have a sufficient density of comment linesconvention
SkippedU. Skipped unit tests should be either removed or fixedpitfall
S2344 Enumeration type names should not have "Flags" or "Enum" suffixesconvention~49 issues
S1659 Multiple variables should not be declared on the same linecert, convention, misra
S105 Tabulation characters should not be usedconvention
S1940 Boolean checks should not be invertedpitfall~451 issues
S1301 "switch" statements should have at least 3 "case" clausesbad-practice, misra
S3444 Interfaces should not simply inherit from base interfaces with colliding membersdesign~1 issue
S3440 Variables should not be checked against the values they're about to be assignedconfusing~2 issues
S3441 Redundant property names should be omitted in anonymous classesclumsy, finding
S3604 Member initializer values should not be redundant~21 issues
S1939 Inheritance list should not be redundantclumsy~115 issues
S3532 Empty "default" clauses should be removedclumsy, finding, unused
S3257 Declarations and initializations should be as concise as possibleclumsy, finding
S3376 Attribute, EventArgs, and Exception type names should end with the type being extendedconvention~36 issues
S3256 "string.IsNullOrEmpty" should be usedclumsy~4 issues
S3253 Constructor and destructor declarations should not be redundantclumsy, finding
S3254 Default parameter values should not be passed as argumentsclumsy, finding
S1905 Redundant casts should not be usedclumsy, redundant~379 issues
S3251 Implementations should be provided for "partial" methodssuspicious~4 issues
S1125 Boolean literals should not be redundantclumsy~1,065 issues
S2333 Redundant modifiers should not be usedclumsy, finding, unused
S101 Types should be named in camel caseconvention~2,231 issues
S100 Methods and properties should be named in camel caseconvention~14,376 issues
S2737 "catch" clauses should do more than rethrowcert, clumsy, finding, unused
S2219 Runtime type checking should be simplifiedclumsy~57 issues
S1481 Unused local variables should be removedunused~844 issues
S2292 Trivial properties should be auto-implementedclumsy~1,026 issues
S3261 Namespaces should not be emptycert, unused~9 issues
S3235 Redundant parentheses should not be usedcert, finding, unused
S1694 An abstract class should have both abstract and concrete methodsconvention
S3234 "GC.SuppressFinalize" should not be invoked for types without destructorsconfusing, unused~1 issue
S1450 Private fields only used as local variables in methods should become local variablespitfall~510 issues
S1185 Overriding members should do more than simply call the same member in the base classclumsy, redundant~45 issues
S1109 A close curly brace should be located at the beginning of a lineconvention
S1227 break statements should not be used except for switch cases
S3240 The simplest possible condition syntax should be usedclumsy
S3241 Methods should not return values that are never usedcert, design, unused~79 issues
S3458 Empty "case" clauses that fall through to the "default" should be omittedclumsy, finding~7 issues
S2760 Sequential tests should not check the same conditionclumsy, suspicious
S3459 Unassigned members should be removedsuspicious~17 issues
S3450 Parameters with "[DefaultParameterValue]" attributes should also be marked "[Optional]"pitfall
S3052 Members should not be initialized to default valuesconvention, finding
S3626 Jump statements should not be redundantclumsy, finding, redundant~11 issues
S818 Literal suffixes should be upper casecert, convention, misra, pitfall
S1135 Track uses of "TODO" tagscwe~1,301 issues
S1309 Track uses of in-source issue suppressions

Back to the top