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.

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

Old SE: Handle unsupported syntax gracefully #6766

Closed
martin-strecker-sonarsource opened this issue Feb 17, 2023 · 0 comments · Fixed by #6768
Closed

Old SE: Handle unsupported syntax gracefully #6766

martin-strecker-sonarsource opened this issue Feb 17, 2023 · 0 comments · Fixed by #6768
Assignees
Labels
Area: C# C# rules related issues. Area: CFG/SE CFG and SE related issues. Sprint: SE Short-lived* label for epic MMF-3077 *troll Type: Bug Exceptions and blocking issues during analysis.
Projects
Milestone

Comments

@martin-strecker-sonarsource
Copy link
Contributor

An AD0001 is caused by a NotSupportedException raised in SonarExplodedGraph.VisitInstruction for ParenthesizedPattern.

CSC : warning AD0001: Analyzer 'SonarAnalyzer.Rules.CSharp.SymbolicExecutionRunner' threw an exception of type 'SonarAnalyzer.SymbolicExecution.SymbolicExecutionException' with message 'Error processing method: XxxXxxxxx
## Method file: X:\x\x\x\XxxXxxxx.XxX.XxxXxxxx\Xxxxx\XxxxXxxxxxXxxxxx.cs
## Method line: 28,8 ##
Inner exception: System.NotSupportedException: ParenthesizedPattern
## at SonarAnalyzer.SymbolicExecution.Sonar.SonarExplodedGraph.VisitInstruction(ExplodedGraphNode node)
## at SonarAnalyzer.SymbolicExecution.Sonar.AbstractExplodedGraph.Walk()
## at SonarAnalyzer.Rules.CSharp.SymbolicExecutionRunner.AnalyzeSonar(SonarSyntaxNodeReportingContext context, SyntaxNode body, ISymbol symbol)'. [X:\x\x\x\XxxXxxxx.XxX.XxxXxxxx\XxxxXxxxxxXxxxxx.XxX.XxxXxxxx.csproj]

First reported here:

SonarCloud analysis failing with SymbolicExecutionException - SonarCloud - Sonar Community

@martin-strecker-sonarsource martin-strecker-sonarsource added Type: Bug Exceptions and blocking issues during analysis. Area: CFG/SE CFG and SE related issues. Area: C# C# rules related issues. labels Feb 17, 2023
@github-actions github-actions bot moved this from In progress to Review in progress in Best Kanban Feb 21, 2023
@github-actions github-actions bot moved this from Review in progress to In progress in Best Kanban Feb 23, 2023
@github-actions github-actions bot moved this from In progress to Review in progress in Best Kanban Feb 23, 2023
@github-actions github-actions bot moved this from Review in progress to In progress in Best Kanban Feb 24, 2023
@pavel-mikula-sonarsource pavel-mikula-sonarsource added the Sprint: SE Short-lived* label for epic MMF-3077 *troll label Feb 27, 2023
@github-actions github-actions bot moved this from In progress to Review in progress in Best Kanban Feb 27, 2023
@github-actions github-actions bot moved this from Review in progress to In progress in Best Kanban Feb 27, 2023
@github-actions github-actions bot moved this from In progress to Review in progress in Best Kanban Feb 28, 2023
@github-actions github-actions bot moved this from Review in progress to Review approved in Best Kanban Feb 28, 2023
@pavel-mikula-sonarsource pavel-mikula-sonarsource changed the title SE: SonarExplodedGraph.VisitInstruction fails for ParenthesizedPattern Old SE: Handle unsupported syntax gracefully Feb 28, 2023
Best Kanban automation moved this from Review approved to Validate Peach Feb 28, 2023
@martin-strecker-sonarsource martin-strecker-sonarsource moved this from Validate Peach to Done in Best Kanban Mar 2, 2023
@Tim-Pohlmann Tim-Pohlmann added this to the 8.54 milestone Mar 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: C# C# rules related issues. Area: CFG/SE CFG and SE related issues. Sprint: SE Short-lived* label for epic MMF-3077 *troll Type: Bug Exceptions and blocking issues during analysis.
Projects
Best Kanban
  
Done
Development

Successfully merging a pull request may close this issue.

3 participants