Add support for multiple symbolic constraints (#604)

SonarSource · Aug 2, 2017 · 358706f · 358706f
1 parent ca7a021
commit 358706f
Show file tree

Hide file tree

Showing 18 changed files with 691 additions and 537 deletions.
diff --git a/sonaranalyzer-dotnet/src/SonarAnalyzer.CSharp/Helpers/SymbolicExecution/ExplodedGraph.cs b/sonaranalyzer-dotnet/src/SonarAnalyzer.CSharp/Helpers/SymbolicExecution/ExplodedGraph.cs
@@ -29,7 +29,7 @@
 
 namespace SonarAnalyzer.Helpers.FlowAnalysis.CSharp
 {
-    internal class ExplodedGraph : Common.ExplodedGraph
+    internal class ExplodedGraph : Common.BaseExplodedGraph
     {
         public ExplodedGraph(IControlFlowGraph cfg, ISymbol declaration, SemanticModel semanticModel, Common.LiveVariableAnalysis lva)
             : base(cfg, declaration, semanticModel, lva)