SonarC#

302 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
64

Vulnerability
9

Code Smell
229

Bug Detection Rules

Rule ID Name Sonar way Tags In Action
S2275 Composite format strings should not lead to unexpected behavior at runtimecert, pitfall~15 issues
S3693 Exception constructors should not throw exceptions
S2930 "IDisposables" should be disposedcwe, denial-of-service~17 issues
S2931 Classes with "IDisposable" members should implement "IDisposable"cwe, denial-of-service
S2190 Recursion should not be infinite~24 issues
S3889 Neither "Thread.Resume" nor "Thread.Suspend" should be usedmulti-threading, unpredictable~11 issues
S3869 "SafeHandle.DangerousGetHandle" should not be calledleak, unpredictable~3 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
S2225 "ToString()" method should not return nullcert, cwe~10 issues
S2583 Conditionally executed blocks should be reachablecert, cwe, misra, pitfall, unused~265 issues
S2234 Parameters should be passed in the correct order~53 issues
S1145 Useless "if(true) {...}" and "if(false){...}" blocks should be removedcwe, misra~15 issues
S2114 Collections should not be passed as arguments to their own methods
S3655 Empty nullable value should not be accessedcwe~10 issues
S2688 "NaN" should not be used in comparisonscert
S2201 Return values from functions without side effects should not be ignoredcert, misra~110 issues
S2681 Multiline blocks should be enclosed in curly bracescert, cwe~169 issues
S1244 Floating point numbers should not be tested for equalitymisra~983 issues
S3598 One-way "OperationContract" methods should have "void" return type
S3249 Classes directly extending "object" should not call "base" in "GetHashCode" or "Equals"~37 issues
S1862 Related "if/else if" statements should not have the same conditioncert, pitfall, unused~7 issues
S3005 "ThreadStatic" should not be used on non-static fieldsunused
S3244 Anonymous delegates should not be used to unsubscribe from Events
S3927 Serialization event handlers should be implemented correctly
S3926 Deserialization methods should be provided for "OptionalField" membersserialization~1 issue
S3453 Classes should not have only "private" constructorsdesign~56 issues
S2123 Values should not be uselessly incrementedunused~3 issues
S2259 Null pointers should not be dereferencedcert, cwe~266 issues
S3466 Optional parameters should be passed to "base" calls
S3346 Expressions used in "Debug.Assert" should not produce side effectscert
S1848 Objects should not be created to be dropped immediately without being used~25 issues
S3903 Types should be defined in named namespaces~136 issues
S1656 Variables should not be self-assignedcert~48 issues
S2995 "Object.ReferenceEquals" should not be used for value types
S2996 "ThreadStatic" fields should not be initializedmulti-threading
S3168 "async" methods should not return "void"multi-threading~84 issues
S2757 "=+" should not be used instead of "+="~37 issues
S2758 The ternary operator should not return the same value regardless of the condition~11 issues
S2997 "IDisposables" created in a "using" statement should not be returned
S3603 Methods with "Pure" attribute should return a value
S1751 Jump statements should not be used unconditionallycert, misra, unused~41 issues
S3010 Static fields should not be updated in constructors~111 issues
S1764 Identical expressions should not be used on both sides of a binary operatorcert~29 issues
S3263 Static fields should appear in the order they must be initialized~2 issues
S1697 Short-circuit logic should be used to prevent null pointer dereferences in conditionals
S3610 Nullable type comparison should not be redundantredundant
S2761 Doubled prefix operators "!!" and "~~" should not be used
S3172 Delegates should not be subtracted
S3984 Exception should not be created without being thrown
S3981 Collection sizes and array length comparisons should make sense
FailedUn. Failed unit tests should be fixed
S2345 Flags enumerations should explicitly initialize all their members~12 issues
S2328 "GetHashCode" should not reference mutable fields~155 issues
S2955 Generic parameters not constrained to reference types should not be compared to "null"
S3456 "string.ToCharArray()" should not be called redundantlyclumsy~5 issues
S2934 Property assignments should not be made for "readonly" fields not constrained to reference types
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, overflow, sans-top25-risky~18 issues
S2183 Ints and longs should not be shifted by zero or more than their number of bits-1cert~24 issues
S3887 Mutable, non-private fields should not be "readonly"~185 issues
S2674 The length returned from a stream read should be checkedcert
S1206 "Equals(Object)" and "GetHashCode()" should be overridden in pairscert, cwe~32 issues

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~40 issues
S2068 Credentials should not be hard-codedcert, cwe, owasp-a2, sans-top25-porous~32 issues
S3884 "CoSetProxyBlanket" and "CoInitializeSecurity" should not be used
S3649 User-provided values should be sanitized before use in SQL statementscert, cwe, owasp-a1, sans-top25-insecure, sql~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~1 issue
S2386 Mutable fields should not be "public static"cert, cwe, unpredictable~2,275 issues
S1104 Fields should not have public accessibilitycwe~8,782 issues

Code Smell Detection Rules

Rule ID Name Sonar way Tags In Action
S3433 Test method signatures should be correcttests
S3443 Type should not be examined on "System.Type" instancessuspicious~4 issues
S2699 Tests should include assertionstests
S3427 Method overloads with default parameter values should not overlappitfall, unused~2,578 issues
S3237 "value" parameters should be usedpitfall~186 issues
S2387 Child class fields should not shadow parent class fieldsconfusing
S2953 Methods named "Dispose" should implement "IDisposable.Dispose"pitfall~40 issues
S2368 Public methods should not have multidimensional array parameterspitfall~8 issues
S2187 TestCases should contain testsconfusing, tests, unused
S2178 Short-circuit logic should be used in boolean contextscert~108 issues
S3875 "operator==" should not be overloaded on reference typespitfall~73 issues
S1451 Track lack of copyright and license headers~1 issue
S2306 "async" and "await" should not be used as identifierspitfall~18 issues
S3877 Exceptions should not be thrown from unexpected methodspitfall~16 issues
S2437 Silly bit operations should not be performedsuspicious~4 issues
S2346 Flags enumerations zero-value members should be named "None"convention~55 issues
S2223 Non-constant static fields should not be visiblepitfall~3,808 issues
S3447 "[Optional]" should not be used on "ref" or "out" parameterspitfall
S1944 Inappropriate casts should not be madecert, cwe, misra, suspicious~106 issues
S3776 Cognitive Complexity of methods should not be too highbrain-overload~4,980 issues
S2696 Instance members should not write to "static" fieldsmulti-threading~810 issues
S2330 Array covariance should not be usedpitfall
S2692 "IndexOf" checks should not be for positive numberssuspicious~19 issues
S2339 Public constant members should not be usedpitfall
S1006 Method overrides should not change parameter defaultscert, misra, pitfall~570 issues
S2701 Literal boolean values should not be used in assertionstests
S1067 Expressions should not be too complexbrain-overload
S1186 Methods should not be emptysuspicious~1,742 issues
S3215 "interface" instances should not be cast to concrete typesdesign
S3216 "ConfigureAwait(false)" should be usedmulti-threading, suspicious
S131 "switch/Select" statements should end with "default/Case Else" clausescert, cwe, misra
S2365 Properties should not make collection or array copiesapi-design, performance~44 issues
S3451 "[DefaultValue]" should not be used when "[DefaultParameterValue]" is meantsuspicious
S134 Control flow statements "if", "switch", "for", "foreach", "while", "do" and "try" should not be nested too deeplybrain-overload~3,710 issues
S3217 "Explicit" conversions of "foreach" loops should not be usedsuspicious~167 issues
S3218 Inner class members should not shadow outer class "static" or type memberscert, design, pitfall~1,333 issues
S927 parameter names should match base declaration and other partial definitionscert, misra, suspicious~1,372 issues
S2360 Optional parameters should not be usedpitfall~5,260 issues
S126 "if ... else if" constructs should end with "else" clausescert, misra
S1163 Exceptions should not be thrown in finally blockscert, error-handling, suspicious
S3904 Assemblies should have version informationpitfall~928 issues
S4000 Pointers to unmanaged memory should not be visible
S3600 "params" should not be introduced on overridesconfusing
S4019 Base class methods should not be hiddenpitfall
S1541 Methods and properties should not be too complexbrain-overload
S121 Control structures should use curly bracescert, misra, pitfall
S4015 Inherited member visibility should not be decreasedpitfall~12 issues
S2197 Modulus results should not be checked for direct equalitycert, suspicious
S3966 Objects should not be disposed more than oncepitfall~23 issues
S1994 "for" loop increment clauses should modify the loops' countersconfusing
S3265 Non-flags enums should not be used in bitwise operationsconvention~268 issues
S2290 Field-like events should not be virtual~2 issues
S2291 Overflow checking should not be disabled for "Enumerable.Sum"error-handling
S3874 "out" and "ref" parameters should not be usedsuspicious
S3871 Exception types should be "public"api-design, error-handling~24 issues
S3998 Threads should not lock on objects with weak identitymulti-threading, pitfall
S1215 "GC.Collect" should not be calledbad-practice, performance, unpredictable~63 issues
S1699 Constructors should only call non-overridable methodscert, pitfall~71 issues
S3972 Conditionals should start on new linessuspicious
S4025 Child class fields should not differ from parent class fields only be capitalizationpitfall
S4039 Interface methods should be callable by derived typespitfall
S2589 Boolean expressions should not be gratuitouscert, cwe, misra, redundant~149 issues
S1134 Track uses of "FIXME" tagscwe~130 issues
S3431 "[ExpectedException]" should not be usedtests
S2357 Fields should be privatepitfall
S3445 Exceptions should not be explicitly rethrownconfusing, error-handling~1,236 issues
S1144 Unused private types or members should be removedcert, unused~2,112 issues
S3442 "abstract" classes should not have "public" constructorsconfusing~413 issues
S3898 Value types should implement "IEquatable<T>"performance
S1117 Local variables should not shadow class fieldscert, pitfall~420 issues
S1118 Utility classes should not have public constructorsdesign~1,448 issues
S2326 Unused type parameters should be removedcert, unused~53 issues
S3415 Assertion arguments should be passed in the correct ordersuspicious, tests
S1479 "switch" statements should not have too many "case" clausesbrain-overload~30 issues
S1123 "Obsolete" attributes should include explanationsbad-practice, obsolete~41 issues
S1121 Assignments should not be made from within sub-expressionscert, cwe, misra, suspicious~1,053 issues
S4070 Non-flags enums should not be marked with "FlagsAttribute"
S3597 "ServiceContract" and "OperationContract" attributes should be used togetherapi-design~3 issues
S1854 Dead stores should be removedcert, cwe, unused~2,566 issues
S3909 Collections should implement the generic interface
S3908 Generic event handlers should be used
S1172 Unused method parameters should be removedcert, misra, unused~876 issues
S3246 Generic type parameters should be co/contravariant when possibleapi-design~136 issues
S1066 Collapsible "if" statements should be mergedclumsy~2,202 issues
S3928 Parameter names used into ArgumentException constructors should match an existing one~259 issues
S3925 "ISerializable" should be implemented correctlypitfall~348 issues
S3457 Composite format strings should be used correctlycert, confusing~92 issues
S125 Sections of code should not be "commented out"misra, unused~10,980 issues
S127 "for" loop stop conditions should be invariantmisra, pitfall
S1168 Empty arrays and collections should be returned instead of nullcert~96 issues
S2376 Write-only properties should not be usedpitfall~120 issues
S1607 Tests should not be ignoredsuspicious, tests
S3906 Event Handlers should have the correct signatureconvention
S2933 Fields that are only assigned in the constructor should be "readonly"confusing~9,563 issues
S3902 "Assembly.GetExecutingAssembly" should not be calledperformance
S3900 Arguments of public methods should be validated against nullconvention
S2372 Exceptions should not be thrown from property getterserror-handling~571 issues
S2743 Static fields should not be used in generic types~118 issues
S4005 "System.Uri" arguments should be used instead of strings
S110 Inheritance tree of classes should not be too deepdesign~617 issues
S4004 Collection properties should be readonly
S112 General exceptions should never be throwncert, cwe, error-handling~3,130 issues
S4002 Disposable types should declare finalizers
S3956 "Generic.List" instances should not be part of public APIsapi-design
S907 "goto" statement should not be usedbrain-overload, misra~409 issues
S103 Lines should not be too longconvention
S104 Files should not have too many lines of codebrain-overload~168 issues
S107 Methods should not have too many parametersbrain-overload~2,564 issues
S108 Nested blocks of code should not be left emptysuspicious~1,218 issues
S4018 Generic methods should provide type parameters
S3169 Multiple "OrderBy" calls should not be usedperformance
S4016 Enumeration members should not be named "Reserved"~2 issues
S4017 Method signatures should not contain nested generic typesconfusing
S122 Statements should be on separate linesstyle
S1871 Two branches in a conditional structure should not have exactly the same implementationdesign, suspicious~1,686 issues
S2971 "IEnumerable" LINQs should be simplifiedclumsy~1,124 issues
S3264 Events should be invokedunused~22 issues
S3262 "params" should be used on overridesconfusing
S3996 URI properties should not be strings
S3997 String URI overloads should call "System.Uri" overloads
S3994 URI Parameters should not be strings
S1696 NullReferenceException should not be caughtcert, cwe, error-handling
S3995 URI return values should not be strings
S3992 Assemblies should explicitly specify COM visibilityapi-design~1 issue
S3993 Custom attributes should be marked with "System.AttributeUsageAttribute"api-design
S3990 Assemblies should be marked as CLS compliantapi-design~1 issue
S3885 "Assembly.Load" should be usedunpredictable~66 issues
S4059 Property names should not match get methodsconfusing
S3880 Finalizers should not be emptyperformance
S4057 Locales should be set for data typeslocalisation
S3881 "IDisposable" should be implemented correctlypitfall~264 issues
S2436 Classes and methods should not have too many generic parametersbrain-overload~107 issues
S4055 Literals should not be passed as localized parameterslocalisation, pitfall
S4050 Operators should be overloaded consistentlypitfall
S4144 Methods should not have identical implementationsconfusing, duplicate, suspicious~66 issues
S3971 "GC.SuppressFinalize" should not be called~4 issues
S4142 Duplicate values should not be passed as argumentssuspicious~273 issues
S1200 Classes should not be coupled to too many other classes (Single Responsibility Principle)brain-overload
S4035 Classes implementing "IEquatable<T>" should be sealedpitfall~94 issues
Insuffic. Lines should have sufficient coverage by testsbad-practice~4 issues
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~38 issues
SkippedU. Skipped unit tests should be either removed or fixedpitfall
S2344 Enumeration type names should not have "Flags" or "Enum" suffixesconvention~127 issues
S2342 Enumeration types should comply with a naming conventionconvention~228 issues
S2221 "Exception" should not be caught when not required by called methodscwe, error-handling
S1940 Boolean checks should not be invertedpitfall~501 issues
S3444 Interfaces should not simply inherit from base interfaces with colliding membersdesign~6 issues
S3440 Variables should not be checked against the values they're about to be assignedconfusing~25 issues
S3441 Redundant property names should be omitted in anonymous classesclumsy, finding
S1939 Inheritance list should not be redundantclumsy~354 issues
S3897 Classes that provide "Equals(<T>)" should implement "IEquatable<T>"api-design~104 issues
S2325 Methods and properties that don't access instance data should be staticpitfall
S3532 Empty "default" clauses should be removedclumsy, finding, unused
S4069 Operator overloads should have named alternativesconvention
S1116 Empty statements should be removedcert, misra, unused~253 issues
S1905 Redundant casts should not be usedclumsy, redundant~943 issues
S4061 "params" should be use instead of "varargs"
S4060 Non-abstract attributes should be sealedperformance
S1125 Boolean literals should not be redundantclumsy~1,763 issues
S2333 Redundant modifiers should not be usedclumsy, finding, unused
S2219 Runtime type checking should be simplifiedclumsy~153 issues
S1481 Unused local variables should be removedunused~4,018 issues
S3235 Redundant parentheses should not be usedcert, finding, unused
S3236 Caller information arguments should not be provided explicitlysuspicious~113 issues
S3234 "GC.SuppressFinalize" should not be invoked for types without destructorsconfusing, unused~1 issue
S1858 "ToString()" calls should not be redundantclumsy, finding
S3247 Duplicate casts should not be madeperformance~329 issues
S2156 "sealed" classes should not have "protected" membersconfusing
S3242 Method parameters should be declared with base typesapi-design~37,742 issues
S1185 Overriding members should do more than simply call the same member in the base classclumsy, redundant~165 issues
S3240 The simplest possible condition syntax should be usedclumsy
S3241 Methods should not return values that are never usedcert, design, unused~109 issues
S3458 Empty "case" clauses that fall through to the "default" should be omittedclumsy, finding~112 issues
S1155 "Any()" should be used to test for emptinessclumsy~401 issues
S2486 Generic exceptions should not be ignoredcwe, error-handling, suspicious~566 issues
S3459 Unassigned members should be removedsuspicious~130 issues
S3450 Parameters with "[DefaultParameterValue]" attributes should also be marked "[Optional]"pitfall
S3220 Method calls should not resolve ambiguously to overloads with "params"pitfall~225 issues
S818 Literal suffixes should be upper casecert, convention, misra, pitfall
S3717 Track use of "NotImplementedException"
S1659 Multiple variables should not be declared on the same linecert, convention, misra
S105 Tabulation characters should not be usedconvention
S3963 "static" fields should be initialized inline
S1301 "switch" statements should have at least 3 "case" clausesbad-practice, misra
S3962 "static readonly" constants should be "const" insteadperformance
S3967 Multidimensional arrays should not be useddesign
S3604 Member initializer values should not be redundant~133 issues
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~150 issues
S3256 "string.IsNullOrEmpty" should be usedclumsy~30 issues
S3253 Constructor and destructor declarations should not be redundantclumsy, finding
S1075 URIs should not be hardcodedcert~954 issues
S3251 Implementations should be provided for "partial" methodssuspicious~796 issues
S3254 Default parameter values should not be passed as argumentsclumsy, finding
S1643 Strings should not be concatenated using '+' in a loopperformance~573 issues
S101 Types should be named in camel caseconvention~4,291 issues
S100 Methods and properties should be named in camel caseconvention~14,368 issues
S2737 "catch" clauses should do more than rethrowcert, clumsy, finding, unused~79 issues
S2292 Trivial properties should be auto-implementedclumsy~2,296 issues
S3261 Namespaces should not be emptycert, unused~72 issues
S1698 "==" should not be used when "Equals" is overriddencert, cwe, suspicious~154 issues
S3876 Strings or integral types should be used for indexersdesign
S4049 Properties should be preferredconvention
S4047 Generics should be used when appropriate
S1210 "Equals" and the comparison operators should be overridden when implementing "IComparable"~43 issues
S1694 An abstract class should have both abstract and concrete methodsconvention
S3872 Parameter names should not duplicate the names of their methodsconfusing, convention
S1450 Private fields only used as local variables in methods should become local variablespitfall~5,692 issues
S4041 Type names should not match namespacesconvention
S4040 Strings should be normalized to uppercasepitfall
S4058 Overloads with a "StringComparison" parameter should be used
S4056 Overloads with a "CultureInfo" or an "IFormatProvider" parameter should be usedlocalisation, pitfall
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
S1226 Method parameters and caught exceptions should not be reassignedmisra, pitfall
S4052 Types should not extend outdated base types
S4027 Exceptions should provide standard constructorsconvention
S2760 Sequential tests should not check the same conditionclumsy, suspicious
S4026 Assemblies should be marked with "NeutralResourcesLanguageAttribute"performance
S4023 Interfaces should not be empty
S4022 Enumerations should have "Int32" storage
S3052 Members should not be initialized to default valuesconvention, finding
S4158 Empty collections should not be accessed or iterated~39 issues
S1449 Culture should be specified for "string" operationscert, unpredictable~2,203 issues
S3626 Jump statements should not be redundantclumsy, finding, redundant~315 issues
S1135 Track uses of "TODO" tagscwe~3,209 issues
S1309 Track uses of in-source issue suppressions

Back to the top