Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add C# 9 test cases for Symbolic Execution rules #3693

Closed
7 tasks done
andrei-epure-sonarsource opened this issue Oct 29, 2020 · 3 comments · Fixed by #3758
Closed
7 tasks done

Add C# 9 test cases for Symbolic Execution rules #3693

andrei-epure-sonarsource opened this issue Oct 29, 2020 · 3 comments · Fixed by #3758
Assignees
@costin-zaharia-sonarsource

Comments

@andrei-epure-sonarsource
Copy link
Contributor

andrei-epure-sonarsource commented Oct 29, 2020 •
edited by pavel-mikula-sonarsource
Loading

  • S4158 SymbolicExecution\EmptyCollectionsShouldNotBeEnumerated.cs
  • S3655 SymbolicExecution\EmptyNullableValueAccess.cs
  • S2259 SymbolicExecution\NullPointerDereference.cs
  • S3966 SymbolicExecution\ObjectsShouldNotBeDisposedMoreThanOnce.cs
  • S3900 SymbolicExecution\PublicMethodArgumentsShouldBeCheckedForNull.cs
  • S5773 SymbolicExecution\RestrictDeserializedTypes.cs
  • S1944 InvalidCastToInterface.cs, InvalidCastToInterfaceRuleConstants.cs, InvalidCastToInterfaceSymbolicExecution.cs
@andrei-epure-sonarsource

This comment has been minimized.

Sign in to view
@andrei-epure-sonarsource
Copy link
Contributor Author

the other SE rules that are not in the Symbolic Execution folder are probably taken care of in the main ticket #3668

Closed
Merged
@andrei-epure-sonarsource
Copy link
Contributor Author

Note that only InvalidCastToInterfaceSymbolicExecution is SE, the other InvalidCastToInterface is not SE (but it's an analyzer for the same rule)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@costin-zaharia-sonarsource costin-zaharia-sonarsource

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add C# 9 test cases for Symbolic Execution rules SonarSource/sonar-dotnet
3 participants
@andrei-epure-sonarsource @costin-zaharia-sonarsource @pavel-mikula-sonarsource