GH-108 - finding non-virtual calls within Received.InOrder block

nsubstitute · Aug 9, 2020 · b890a86 · b890a86
1 parent b87e925
commit b890a86
Show file tree

Hide file tree

Showing 511 changed files with 1,664 additions and 30 deletions.
diff --git a/.gitattributes b/.gitattributes
diff --git a/.gitignore b/.gitignore
diff --git a/Acknowledgements.md b/Acknowledgements.md
diff --git a/Analyzers.ruleset b/Analyzers.ruleset
diff --git a/Directory.Build.props b/Directory.Build.props
diff --git a/LICENSE.md b/LICENSE.md
diff --git a/NSubstitute.Analyzers.All.sln b/NSubstitute.Analyzers.All.sln
diff --git a/NSubstitute.Analyzers.sln b/NSubstitute.Analyzers.sln
@@ -25,7 +25,8 @@ ProjectSection(SolutionItems) = preProject
 	documentation\rules\NS1001.md = documentation\rules\NS1001.md
 	documentation\rules\NS1002.md = documentation\rules\NS1002.md
 	documentation\rules\NS1003.md = documentation\rules\NS1003.md
-	documentation\rules\NS1003.md = documentation\rules\NS1004.md
+	documentation\rules\NS1004.md = documentation\rules\NS1004.md
+	documentation\rules\NS1005.md = documentation\rules\NS1005.md
 	documentation\rules\NS2000.md = documentation\rules\NS2000.md
 	documentation\rules\NS2001.md = documentation\rules\NS2001.md
 	documentation\rules\NS2002.md = documentation\rules\NS2002.md

diff --git a/README.md b/README.md
diff --git a/ReleaseNotes.md b/ReleaseNotes.md
diff --git a/StyleCop.json b/StyleCop.json
diff --git a/appveyor.yml b/appveyor.yml
diff --git a/...chmarks.Source.CSharp/DiagnosticsSources/AsyncReceivedInOrderCallbackDiagnosticsSource.cs b/...chmarks.Source.CSharp/DiagnosticsSources/AsyncReceivedInOrderCallbackDiagnosticsSource.cs
diff --git a/...titute.Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/CallInfoDiagnosticsSource.cs b/...titute.Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/CallInfoDiagnosticsSource.cs
diff --git a/...ource.CSharp/DiagnosticsSources/NonSubstitutableMemberArgumentMatcherDiagnosticsSource.cs b/...ource.CSharp/DiagnosticsSources/NonSubstitutableMemberArgumentMatcherDiagnosticsSource.cs
diff --git a/...ers.Benchmarks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberDiagnosticSource.cs b/...ers.Benchmarks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberDiagnosticSource.cs
diff --git a/...marks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberReceivedDiagnosticsSource.cs b/...marks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberReceivedDiagnosticsSource.cs
diff --git a/...Source.CSharp/DiagnosticsSources/NonSubstitutableMemberReceivedInOrderDiagnosticSource.cs b/...Source.CSharp/DiagnosticsSources/NonSubstitutableMemberReceivedInOrderDiagnosticSource.cs
@@ -0,0 +1,40 @@
+using NSubstitute.Analyzers.Benchmarks.Source.CSharp.Models;
+
+namespace NSubstitute.Analyzers.Benchmarks.Source.CSharp.DiagnosticsSources
+{
+    public class NonSubstitutableMemberReceivedInOrderDiagnosticSource
+    {
+        public void NS1005_NonVirtualSetupSpecification()
+        {
+            var substitute = Substitute.For<Foo>();
+
+            Received.InOrder(() =>
+            {
+                substitute.ObjectReturningMethod();
+                var methodItem = substitute.ObjectReturningMethod();
+                substitute.ObjectReturningMethodWithArguments(substitute.IntReturningProperty, 1, 1m);
+                _ = substitute.IntReturningProperty;
+                var propertyItem = substitute.IntReturningProperty;
+                _ = substitute[0];
+                var indexerItem = substitute[0];
+                var otherIndexerItem = substitute[0];
+                var usedIndexerItem = otherIndexerItem;
+            });
+        }
+
+        public void NS1003_InternalVirtualSetupSpecification()
+        {
+            var substitute = Substitute.For<Foo>();
+
+            substitute.InternalObjectReturningMethod();
+            var methodItem = substitute.InternalObjectReturningMethod();
+            substitute.InternalObjectReturningMethodWithArguments(substitute.IntReturningProperty);
+            _ = substitute.InternalObjectReturningProperty;
+            var propertyItem = substitute.InternalObjectReturningProperty;
+            _ = substitute[0];
+            var indexerItem = substitute[0, 0, 0];
+            var otherIndexerItem = substitute[0, 0, 0];
+            var usedIndexerItem = otherIndexerItem;
+        }
+    }
+}
diff --git a/...enchmarks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberWhenDiagnosticsSource.cs b/...enchmarks.Source.CSharp/DiagnosticsSources/NonSubstitutableMemberWhenDiagnosticsSource.cs
diff --git a/....Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/ReEntrantSetupDiagnosticsSource.cs b/....Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/ReEntrantSetupDiagnosticsSource.cs
diff --git a/...rks.Source.CSharp/DiagnosticsSources/ReceivedLikeUsedInReceivedInOrderDiagnosticSource.cs b/...rks.Source.CSharp/DiagnosticsSources/ReceivedLikeUsedInReceivedInOrderDiagnosticSource.cs
diff --git a/...tute.Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/SubstituteDiagnosticsSource.cs b/...tute.Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/SubstituteDiagnosticsSource.cs
diff --git a/....Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/UnusedReceivedDiagnosticsSource.cs b/....Analyzers.Benchmarks.Source.CSharp/DiagnosticsSources/UnusedReceivedDiagnosticsSource.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/Foo.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/Foo.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooInternal.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooInternal.cs
diff --git a/...arks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooWithoutParameterlessCtor.cs b/...arks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooWithoutParameterlessCtor.cs
diff --git a/.../NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooWithoutPublicOrProtectedCtor.cs b/.../NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/FooWithoutPublicOrProtectedCtor.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/IFoo.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/Models/IFoo.cs
diff --git a/....Analyzers.Benchmarks.Source.CSharp/NSubstitute.Analyzers.Benchmarks.Source.CSharp.csproj b/....Analyzers.Benchmarks.Source.CSharp/NSubstitute.Analyzers.Benchmarks.Source.CSharp.csproj
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/nsubstitute.json b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.CSharp/nsubstitute.json
diff --git a/...ks.Source.VisualBasic/DiagnosticsSources/AsyncReceivedInOrderCallbackDiagnosticsSource.vb b/...ks.Source.VisualBasic/DiagnosticsSources/AsyncReceivedInOrderCallbackDiagnosticsSource.vb
diff --git a/...e.Analyzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/CallInfoDiagnosticsSource.vb b/...e.Analyzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/CallInfoDiagnosticsSource.vb
diff --git a/....VisualBasic/DiagnosticsSources/NonSubstitutableMemberArgumentMatcherDiagnosticsSource.vb b/....VisualBasic/DiagnosticsSources/NonSubstitutableMemberArgumentMatcherDiagnosticsSource.vb
diff --git a/...enchmarks.Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberDiagnosticSource.vb b/...enchmarks.Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberDiagnosticSource.vb
diff --git a/....Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberReceivedDiagnosticsSource.vb b/....Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberReceivedDiagnosticsSource.vb
diff --git a/...arks.Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberWhenDiagnosticsSource.vb b/...arks.Source.VisualBasic/DiagnosticsSources/NonSubstitutableMemberWhenDiagnosticsSource.vb
diff --git a/...yzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/ReEntrantSetupDiagnosticsSource.vb b/...yzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/ReEntrantSetupDiagnosticsSource.vb
diff --git a/...ource.VisualBasic/DiagnosticsSources/ReceivedLikeUsedInReceivedInOrderDiagnosticSource.vb b/...ource.VisualBasic/DiagnosticsSources/ReceivedLikeUsedInReceivedInOrderDiagnosticSource.vb
diff --git a/...Analyzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/SubstituteDiagnosticsSource.vb b/...Analyzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/SubstituteDiagnosticsSource.vb
diff --git a/...yzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/UnusedReceivedDiagnosticsSource.vb b/...yzers.Benchmarks.Source.VisualBasic/DiagnosticsSources/UnusedReceivedDiagnosticsSource.vb
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/Foo.vb b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/Foo.vb
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooInternal.vb b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooInternal.vb
diff --git a/...NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooWithoutParameterlessCtor.vb b/...NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooWithoutParameterlessCtor.vb
diff --git a/...stitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooWithoutPublicOrProtectedCtor.vb b/...stitute.Analyzers.Benchmarks.Source.VisualBasic/Models/FooWithoutPublicOrProtectedCtor.vb
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/IFoo.vb b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/Models/IFoo.vb
diff --git a/....Benchmarks.Source.VisualBasic/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic.vbproj b/....Benchmarks.Source.VisualBasic/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic.vbproj
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/nsubstitute.json b/benchmarks/NSubstitute.Analyzers.Benchmarks.Source.VisualBasic/nsubstitute.json
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/CSharp/CSharpDiagnosticAnalyzersBenchmarks.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/CSharp/CSharpDiagnosticAnalyzersBenchmarks.cs
@@ -17,6 +17,8 @@ public class CSharpDiagnosticAnalyzersBenchmarks : AbstractDiagnosticAnalyzersBe
 
         protected override AnalyzerBenchmark NonSubstitutableMemberWhenAnalyzerBenchmark { get; }
 
+        protected override AnalyzerBenchmark NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark { get; }
+
         protected override AnalyzerBenchmark ReEntrantSetupAnalyzerBenchmark { get; }
 
         protected override AnalyzerBenchmark SubstituteAnalyzerBenchmark { get; }
@@ -46,6 +48,7 @@ public CSharpDiagnosticAnalyzersBenchmarks()
             NonSubstitutableMemberAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberAnalyzer());
             NonSubstitutableMemberReceivedAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberReceivedAnalyzer());
             NonSubstitutableMemberWhenAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberWhenAnalyzer());
+            NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberReceivedInOrderAnalyzer());
             ReEntrantSetupAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new ReEntrantSetupAnalyzer());
             SubstituteAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new SubstituteAnalyzer());
             UnusedReceivedAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new UnusedReceivedAnalyzer());

diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/CSharp/CSharpSolutionLoader.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/CSharp/CSharpSolutionLoader.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/NSubstitute.Analyzers.Benchmarks.csproj b/benchmarks/NSubstitute.Analyzers.Benchmarks/NSubstitute.Analyzers.Benchmarks.csproj
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/Program.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/Program.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/Properties/AssemblyInfo.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/Properties/AssemblyInfo.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AbstractDiagnosticAnalyzersBenchmarks.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AbstractDiagnosticAnalyzersBenchmarks.cs
@@ -24,6 +24,8 @@ public abstract class AbstractDiagnosticAnalyzersBenchmarks
 
         protected abstract AnalyzerBenchmark NonSubstitutableMemberWhenAnalyzerBenchmark { get; }
 
+        protected abstract AnalyzerBenchmark NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark { get; }
+
         protected abstract AnalyzerBenchmark ReEntrantSetupAnalyzerBenchmark { get; }
 
         protected abstract AnalyzerBenchmark SubstituteAnalyzerBenchmark { get; }
@@ -79,6 +81,12 @@ public void NonSubstitutableMemberWhenAnalyzer()
             NonSubstitutableMemberWhenAnalyzerBenchmark.Run();
         }
 
+        [Benchmark]
+        public void NonSubstitutableMemberReceivedInOrderAnalyzer()
+        {
+            NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark.Run();
+        }
+
         [Benchmark]
         public void ReEntrantSetupAnalyzer()
         {

diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AbstractSolutionLoader.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AbstractSolutionLoader.cs
diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AnalyzerBenchmark.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/Shared/AnalyzerBenchmark.cs
diff --git a/.../NSubstitute.Analyzers.Benchmarks/VisualBasic/VisualBasicDiagnosticAnalyzersBenchmarks.cs b/.../NSubstitute.Analyzers.Benchmarks/VisualBasic/VisualBasicDiagnosticAnalyzersBenchmarks.cs
@@ -17,6 +17,8 @@ public class VisualBasicDiagnosticAnalyzersBenchmarks : AbstractDiagnosticAnalyz
 
         protected override AnalyzerBenchmark NonSubstitutableMemberWhenAnalyzerBenchmark { get; }
 
+        protected override AnalyzerBenchmark NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark { get; }
+
         protected override AnalyzerBenchmark ReEntrantSetupAnalyzerBenchmark { get; }
 
         protected override AnalyzerBenchmark SubstituteAnalyzerBenchmark { get; }
@@ -46,6 +48,7 @@ public VisualBasicDiagnosticAnalyzersBenchmarks()
             NonSubstitutableMemberAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberAnalyzer());
             NonSubstitutableMemberReceivedAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberReceivedAnalyzer());
             NonSubstitutableMemberWhenAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberWhenAnalyzer());
+            NonSubstitutableMemberReceivedInOrderAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new NonSubstitutableMemberReceivedInOrderAnalyzer());
             ReEntrantSetupAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new ReEntrantSetupAnalyzer());
             SubstituteAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new SubstituteAnalyzer());
             UnusedReceivedAnalyzerBenchmark = AnalyzerBenchmark.CreateBenchmark(Solution, new UnusedReceivedAnalyzer());

diff --git a/benchmarks/NSubstitute.Analyzers.Benchmarks/VisualBasic/VisualBasicSolutionLoader.cs b/benchmarks/NSubstitute.Analyzers.Benchmarks/VisualBasic/VisualBasicSolutionLoader.cs
diff --git a/build/build.cake b/build/build.cake
diff --git a/build/build.config b/build/build.config
diff --git a/build/build.ps1 b/build/build.ps1
diff --git a/build/build.sh b/build/build.sh
diff --git a/build/parameters.cake b/build/parameters.cake
diff --git a/build/paths.cake b/build/paths.cake
diff --git a/build/releasenotes.cake b/build/releasenotes.cake
diff --git a/build/table-of-contents.cake b/build/table-of-contents.cake
diff --git a/build/version.cake b/build/version.cake
diff --git a/documentation/Compatibility.md b/documentation/Compatibility.md
diff --git a/documentation/Configuration.md b/documentation/Configuration.md
diff --git a/documentation/README.md b/documentation/README.md
diff --git a/documentation/rules/NS1000.md b/documentation/rules/NS1000.md
diff --git a/documentation/rules/NS1001.md b/documentation/rules/NS1001.md
diff --git a/documentation/rules/NS1002.md b/documentation/rules/NS1002.md
diff --git a/documentation/rules/NS1003.md b/documentation/rules/NS1003.md
diff --git a/documentation/rules/NS1004.md b/documentation/rules/NS1004.md
diff --git a/documentation/rules/NS1005.md b/documentation/rules/NS1005.md
@@ -0,0 +1,39 @@
+# NS1005
+
+<table>
+<tr>
+  <td>CheckId</td>
+  <td>NS1005</td>
+</tr>
+<tr>
+  <td>Category</td>
+  <td>Non-substitutable member</td>
+</tr>
+</table>
+
+## Cause
+
+Checking call order for non-virtual member of a class.
+
+## Rule description
+
+A violation of this rule occurs when `Received.InOrder` checks call order for non-virtual member of a class.
+
+## How to fix violations
+
+To fix a violation of this rule, make the member of your class virtual or substitute for interface.
+
+## How to suppress violations
+
+This warning can be suppressed by disabling the warning in the **ruleset** file for the project or by suppressing it (for selected members) in `nsubstitute.json` file. See the [configuration](../Configuration.md) section for details on how to set this up.
+The warning can also be suppressed programmatically for an assembly:
+````c#
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Non-substitutable member", "NS1005:Non-virtual setup specification.", Justification = "Reviewed")]
+````
+
+Or for a specific code block:
+````c#
+#pragma warning disable NS1005 // Non-virtual setup specification.
+// the code which produces warning
+#pragma warning restore NS1005 // Non-virtual setup specification.
+````
diff --git a/documentation/rules/NS2000.md b/documentation/rules/NS2000.md
diff --git a/documentation/rules/NS2001.md b/documentation/rules/NS2001.md
diff --git a/documentation/rules/NS2002.md b/documentation/rules/NS2002.md
diff --git a/documentation/rules/NS2003.md b/documentation/rules/NS2003.md
diff --git a/documentation/rules/NS2004.md b/documentation/rules/NS2004.md
diff --git a/documentation/rules/NS2005.md b/documentation/rules/NS2005.md
diff --git a/documentation/rules/NS2006.md b/documentation/rules/NS2006.md
diff --git a/documentation/rules/NS2007.md b/documentation/rules/NS2007.md
diff --git a/documentation/rules/NS3000.md b/documentation/rules/NS3000.md
diff --git a/documentation/rules/NS3001.md b/documentation/rules/NS3001.md
diff --git a/documentation/rules/NS3002.md b/documentation/rules/NS3002.md
diff --git a/documentation/rules/NS3003.md b/documentation/rules/NS3003.md
diff --git a/documentation/rules/NS3004.md b/documentation/rules/NS3004.md
diff --git a/documentation/rules/NS3005.md b/documentation/rules/NS3005.md
diff --git a/documentation/rules/NS3006.md b/documentation/rules/NS3006.md
diff --git a/documentation/rules/NS4000.md b/documentation/rules/NS4000.md
diff --git a/documentation/rules/NS5000.md b/documentation/rules/NS5000.md
diff --git a/documentation/rules/NS5001.md b/documentation/rules/NS5001.md
diff --git a/documentation/rules/NS5002.md b/documentation/rules/NS5002.md
diff --git a/documentation/rules/README.md b/documentation/rules/README.md
@@ -8,6 +8,7 @@
 | [NS1002](NS1002.md) | Non-substitutable member | Substituting for non-virtual member of a class. |
 | [NS1003](NS1003.md) | Non-substitutable member | Substituting for an internal member of a class without proxies having visibility into internal members. |
 | [NS1004](NS1004.md) | Non-substitutable member | Argument matcher used with a non-virtual member of a class. |
+| [NS1005](NS1005.md) | Non-substitutable member | Checking call order for non-virtual member of a class. |
 | [NS2000](NS2000.md) | Substitute creation | Substitute.ForPartsOf used with interface or delegate. |
 | [NS2001](NS2001.md) | Substitute creation | NSubstitute used with class which does not expose public or protected constructor. |
 | [NS2002](NS2002.md) | Substitute creation | NSubstitute used with class which does not expose parameterless constructor. |
@@ -26,4 +27,4 @@
 | [NS4000](NS4000.md) | Call configuration | Calling substitute from within `Returns` block. |
 | [NS5000](NS5000.md) | Usage | Checking received calls without specifying member. |
 | [NS5001](NS5001.md) | Usage | Usage of received-like method in `Received.InOrder` callback. |
-| [NS5002](NS5002.md) | Usage | Usage of async callback in `Received.InOrder` method. |
+| [NS5002](NS5002.md) | Usage | Usage of async callback in `Received.InOrder` method. |
diff --git a/global.json b/global.json
diff --git a/images/csharp-example.png b/images/csharp-example.png
diff --git a/images/nsubstitute-analyser.ai b/images/nsubstitute-analyser.ai
diff --git a/images/nsubstitute-analyser.png b/images/nsubstitute-analyser.png
diff --git a/images/nsubstitute-analyser@0,25x.png b/images/nsubstitute-analyser@0,25x.png
diff --git a/images/nsubstitute-analyser@0,5x.png b/images/nsubstitute-analyser@0,5x.png
diff --git a/images/nsubstitute-analyser@1x.png b/images/nsubstitute-analyser@1x.png
diff --git a/images/vb-example.png b/images/vb-example.png
diff --git a/nsubstitute.snk b/nsubstitute.snk
diff --git a/src/NSubstitute.Analyzers.CSharp.Vsix/NSubstitute.Analyzers.CSharp.Vsix.csproj b/src/NSubstitute.Analyzers.CSharp.Vsix/NSubstitute.Analyzers.CSharp.Vsix.csproj
diff --git a/src/NSubstitute.Analyzers.CSharp.Vsix/Properties/launchSettings.json b/src/NSubstitute.Analyzers.CSharp.Vsix/Properties/launchSettings.json
diff --git a/src/NSubstitute.Analyzers.CSharp.Vsix/source.extension.vsixmanifest b/src/NSubstitute.Analyzers.CSharp.Vsix/source.extension.vsixmanifest
diff --git a/...tute.Analyzers.CSharp/CodeFixProviders/ConstructorArgumentsForInterfaceCodeFixProvider.cs b/...tute.Analyzers.CSharp/CodeFixProviders/ConstructorArgumentsForInterfaceCodeFixProvider.cs
diff --git a/...Substitute.Analyzers.CSharp/CodeFixProviders/InternalSetupSpecificationCodeFixProvider.cs b/...Substitute.Analyzers.CSharp/CodeFixProviders/InternalSetupSpecificationCodeFixProvider.cs
diff --git a/...deFixProviders/NonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs b/...deFixProviders/NonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs
diff --git a/...yzers.CSharp/CodeFixProviders/NonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs b/...yzers.CSharp/CodeFixProviders/NonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs
diff --git a/...alyzers.CSharp/CodeFixProviders/PartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs b/...alyzers.CSharp/CodeFixProviders/PartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/CodeFixProviders/ReEntrantSetupCodeFixProvider.cs b/src/NSubstitute.Analyzers.CSharp/CodeFixProviders/ReEntrantSetupCodeFixProvider.cs
diff --git a/...ubstitute.Analyzers.CSharp/CodeFixProviders/SubstituteForInternalMemberCodeFixProvider.cs b/...ubstitute.Analyzers.CSharp/CodeFixProviders/SubstituteForInternalMemberCodeFixProvider.cs
diff --git a/...e.Analyzers.CSharp/CodeRefactoringProviders/IntroduceSubstituteCodeRefactoringProvider.cs b/...e.Analyzers.CSharp/CodeRefactoringProviders/IntroduceSubstituteCodeRefactoringProvider.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/AsyncReceivedInOrderCallbackAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/AsyncReceivedInOrderCallbackAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/CallInfoAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/CallInfoAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/CallInfoCallFinder.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/CallInfoCallFinder.cs
diff --git a/...Substitute.Analyzers.CSharp/DiagnosticAnalyzers/ConflictingArgumentAssignmentsAnalyzer.cs b/...Substitute.Analyzers.CSharp/DiagnosticAnalyzers/ConflictingArgumentAssignmentsAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberAnalyzer.cs
diff --git a/...ute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberArgumentMatcherAnalyzer.cs b/...ute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberArgumentMatcherAnalyzer.cs
diff --git a/...Substitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberReceivedAnalyzer.cs b/...Substitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberReceivedAnalyzer.cs
diff --git a/...ute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberReceivedInOrderAnalyzer.cs b/...ute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberReceivedInOrderAnalyzer.cs
@@ -8,7 +8,7 @@
 namespace NSubstitute.Analyzers.CSharp.DiagnosticAnalyzers
 {
     [DiagnosticAnalyzer(LanguageNames.CSharp)]
-    internal class NonSubstitutableMemberReceivedInOrderAnalyzer : AbstractNonSubstitutableMemberReceivedInOrderAnalyzer<SyntaxKind, InvocationExpressionSyntax, MemberAccessExpressionSyntax>
+    internal sealed class NonSubstitutableMemberReceivedInOrderAnalyzer : AbstractNonSubstitutableMemberReceivedInOrderAnalyzer<SyntaxKind, InvocationExpressionSyntax, MemberAccessExpressionSyntax, BlockSyntax>
     {
         private static ImmutableArray<ImmutableArray<int>> IgnoredPaths { get; } = ImmutableArray.Create(
                 ImmutableArray.Create(
@@ -17,14 +17,6 @@ internal class NonSubstitutableMemberReceivedInOrderAnalyzer : AbstractNonSubsti
                     (int)SyntaxKind.CastExpression,
                     (int)SyntaxKind.Argument),
                 ImmutableArray.Create(
-                    (int)SyntaxKind.EqualsValueClause,
-                    (int)SyntaxKind.VariableDeclarator),
-                ImmutableArray.Create(
-                    (int)SyntaxKind.CastExpression,
-                    (int)SyntaxKind.EqualsValueClause,
-                    (int)SyntaxKind.VariableDeclarator),
-                ImmutableArray.Create(
-                    (int)SyntaxKind.AsExpression,
                     (int)SyntaxKind.EqualsValueClause,
                     (int)SyntaxKind.VariableDeclarator));
 
@@ -36,5 +28,10 @@ public NonSubstitutableMemberReceivedInOrderAnalyzer()
         protected override SyntaxKind InvocationExpressionKind { get; } = SyntaxKind.InvocationExpression;
 
         protected override ImmutableArray<ImmutableArray<int>> IgnoredAncestorPaths { get; } = IgnoredPaths;
+
+        protected override ISymbol GetDeclarationSymbol(SemanticModel semanticModel, SyntaxNode node)
+        {
+            return semanticModel.GetDeclaredSymbol(node);
+        }
     }
 }
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberWhenAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/NonSubstitutableMemberWhenAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReEntrantCallFinder.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReEntrantCallFinder.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReEntrantSetupAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReEntrantSetupAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReceivedInReceivedInOrderAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/ReceivedInReceivedInOrderAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteConstructorAnalysis.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteConstructorAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteConstructorMatcher.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteConstructorMatcher.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteProxyAnalysis.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstituteProxyAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstitutionNodeFinder.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/SubstitutionNodeFinder.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/UnusedReceivedAnalyzer.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticAnalyzers/UnusedReceivedAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/DiagnosticDescriptorsProvider.cs b/src/NSubstitute.Analyzers.CSharp/DiagnosticDescriptorsProvider.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Extensions/ExpressionSyntaxExtensions.cs b/src/NSubstitute.Analyzers.CSharp/Extensions/ExpressionSyntaxExtensions.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Extensions/SyntaxExtensions.cs b/src/NSubstitute.Analyzers.CSharp/Extensions/SyntaxExtensions.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/NSubstitute.Analyzers.CSharp.csproj b/src/NSubstitute.Analyzers.CSharp/NSubstitute.Analyzers.CSharp.csproj
diff --git a/src/NSubstitute.Analyzers.CSharp/Properties/AssemblyInfo.cs b/src/NSubstitute.Analyzers.CSharp/Properties/AssemblyInfo.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Refactorings/AddInternalsVisibleToAttributeRefactoring.cs b/src/NSubstitute.Analyzers.CSharp/Refactorings/AddInternalsVisibleToAttributeRefactoring.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Refactorings/AddModifierRefactoring.cs b/src/NSubstitute.Analyzers.CSharp/Refactorings/AddModifierRefactoring.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Refactorings/ReplaceModifierRefactoring.cs b/src/NSubstitute.Analyzers.CSharp/Refactorings/ReplaceModifierRefactoring.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Resources.Designer.cs b/src/NSubstitute.Analyzers.CSharp/Resources.Designer.cs
diff --git a/src/NSubstitute.Analyzers.CSharp/Resources.resx b/src/NSubstitute.Analyzers.CSharp/Resources.resx
@@ -133,7 +133,7 @@
     <value>Member {0} can not be intercepted. Only interface members and virtual, overriding, and abstract members can be intercepted.</value>
     <comment>The format-able message the diagnostic displays.</comment>
   </data>
-  <data name="NonVirtualReceivedInOrderSetupSpecificationTitleMessageFormat" xml:space="preserve">
+  <data name="NonVirtualReceivedInOrderSetupSpecificationMessageFormat" xml:space="preserve">
     <value>Member {0} can not be intercepted. Only interface members and virtual, overriding, and abstract members can be intercepted.</value>
     <comment>The format-able message the diagnostic displays.</comment>
   </data>

diff --git a/src/NSubstitute.Analyzers.CSharp/tools/install.ps1 b/src/NSubstitute.Analyzers.CSharp/tools/install.ps1
diff --git a/src/NSubstitute.Analyzers.CSharp/tools/uninstall.ps1 b/src/NSubstitute.Analyzers.CSharp/tools/uninstall.ps1
diff --git a/src/NSubstitute.Analyzers.Shared/AbstractDiagnosticDescriptorsProvider.cs b/src/NSubstitute.Analyzers.Shared/AbstractDiagnosticDescriptorsProvider.cs
diff --git a/...lyzers.Shared/CodeFixProviders/AbstractConstructorArgumentsForInterfaceCodeFixProvider.cs b/...lyzers.Shared/CodeFixProviders/AbstractConstructorArgumentsForInterfaceCodeFixProvider.cs
diff --git a/...te.Analyzers.Shared/CodeFixProviders/AbstractInternalSetupSpecificationCodeFixProvider.cs b/...te.Analyzers.Shared/CodeFixProviders/AbstractInternalSetupSpecificationCodeFixProvider.cs
diff --git a/...viders/AbstractNonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs b/...viders/AbstractNonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs
diff --git a/...ared/CodeFixProviders/AbstractNonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs b/...ared/CodeFixProviders/AbstractNonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs
@@ -4,6 +4,8 @@ namespace NSubstitute.Analyzers.Shared.CodeFixProviders
 {
     internal class AbstractNonSubstitutableMemberSuppressDiagnosticsCodeFixProvider : AbstractSuppressDiagnosticsCodeFixProvider
     {
-        public override ImmutableArray<string> FixableDiagnosticIds { get; } = ImmutableArray.Create(DiagnosticIdentifiers.NonVirtualSetupSpecification);
+        public override ImmutableArray<string> FixableDiagnosticIds { get; } = ImmutableArray.Create(
+            DiagnosticIdentifiers.NonVirtualSetupSpecification,
+            DiagnosticIdentifiers.NonVirtualReceivedInOrderSetupSpecification);
     }
 }
diff --git a/...Shared/CodeFixProviders/AbstractPartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs b/...Shared/CodeFixProviders/AbstractPartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs
diff --git a/src/NSubstitute.Analyzers.Shared/CodeFixProviders/AbstractReEntrantSetupCodeFixProvider.cs b/src/NSubstitute.Analyzers.Shared/CodeFixProviders/AbstractReEntrantSetupCodeFixProvider.cs
diff --git a/...e.Analyzers.Shared/CodeFixProviders/AbstractSubstituteForInternalMemberCodeFixProvider.cs b/...e.Analyzers.Shared/CodeFixProviders/AbstractSubstituteForInternalMemberCodeFixProvider.cs
diff --git a/...ubstitute.Analyzers.Shared/CodeFixProviders/AbstractSuppressDiagnosticsCodeFixProvider.cs b/...ubstitute.Analyzers.Shared/CodeFixProviders/AbstractSuppressDiagnosticsCodeFixProvider.cs
diff --git a/...ers.Shared/CodeRefactoringProviders/AbstractIntroduceSubstituteCodeRefactoringProvider.cs b/...ers.Shared/CodeRefactoringProviders/AbstractIntroduceSubstituteCodeRefactoringProvider.cs
diff --git a/...tute.Analyzers.Shared/DiagnosticAnalyzers/AbstractAsyncReceivedInOrderCallbackAnalyzer.cs b/...tute.Analyzers.Shared/DiagnosticAnalyzers/AbstractAsyncReceivedInOrderCallbackAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractCallInfoAnalyzer.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractCallInfoAnalyzer.cs
diff --git a/...te.Analyzers.Shared/DiagnosticAnalyzers/AbstractConflictingArgumentAssignmentsAnalyzer.cs b/...te.Analyzers.Shared/DiagnosticAnalyzers/AbstractConflictingArgumentAssignmentsAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractDiagnosticAnalyzer.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractDiagnosticAnalyzer.cs
diff --git a/...Substitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberAnalyzer.cs b/...Substitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberAnalyzer.cs
@@ -46,7 +46,7 @@ protected override void InitializeAnalyzer(AnalysisContext context)
                 return false;
             }
 
-            return symbolInfo.Symbol?.CanBeSetuped();
+            return symbolInfo.Symbol?.CanBeSubstituted();
         }
 
         private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)

diff --git a/...yzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberArgumentMatcherAnalyzer.cs b/...yzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberArgumentMatcherAnalyzer.cs
@@ -81,7 +81,7 @@ private void AnalyzeArgLikeMethod(SyntaxNodeAnalysisContext syntaxNodeContext, T
                 return;
             }
 
-            var canBeSetuped = enclosingExpressionSymbol.CanBeSetuped();
+            var canBeSetuped = enclosingExpressionSymbol.CanBeSubstituted();
 
             if (canBeSetuped == false || enclosingExpressionSymbol.MemberVisibleToProxyGenerator() == false)
             {

diff --git a/...te.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberReceivedAnalyzer.cs b/...te.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberReceivedAnalyzer.cs
@@ -65,7 +65,7 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
                 return;
             }
 
-            var canBeSetuped = symbolInfo.Symbol.CanBeSetuped();
+            var canBeSetuped = symbolInfo.Symbol.CanBeSubstituted();
 
             if (canBeSetuped == false)
             {

diff --git a/...yzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberReceivedInOrderAnalyzer.cs b/...yzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberReceivedInOrderAnalyzer.cs
@@ -7,10 +7,11 @@
 
 namespace NSubstitute.Analyzers.Shared.DiagnosticAnalyzers
 {
-    internal abstract class AbstractNonSubstitutableMemberReceivedInOrderAnalyzer<TSyntaxKind, TInvocationExpressionSyntax, TMemberAccessExpressionSyntax> : AbstractDiagnosticAnalyzer
+    internal abstract class AbstractNonSubstitutableMemberReceivedInOrderAnalyzer<TSyntaxKind, TInvocationExpressionSyntax, TMemberAccessExpressionSyntax, TBlockStatementSyntax> : AbstractDiagnosticAnalyzer
         where TSyntaxKind : struct
         where TInvocationExpressionSyntax : SyntaxNode
         where TMemberAccessExpressionSyntax : SyntaxNode
+        where TBlockStatementSyntax : SyntaxNode
     {
         public override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics { get; }
 
@@ -38,6 +39,8 @@ protected sealed override void InitializeAnalyzer(AnalysisContext context)
             context.RegisterSyntaxNodeAction(_analyzeInvocationAction, InvocationExpressionKind);
         }
 
+        protected abstract ISymbol GetDeclarationSymbol(SemanticModel semanticModel, SyntaxNode node);
+
         private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
         {
             var invocationExpression = (TInvocationExpressionSyntax)syntaxNodeContext.Node;
@@ -56,7 +59,7 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
             foreach (var syntaxNode in _substitutionNodeFinder.FindForReceivedInOrderExpression(
                 syntaxNodeContext,
                 invocationExpression,
-                (IMethodSymbol)methodSymbolInfo.Symbol).Where(node => FindIgnoredEnclosingExpression(node) == null))
+                (IMethodSymbol)methodSymbolInfo.Symbol).Where(node => ShouldAnalyzeNode(syntaxNodeContext.SemanticModel, node)))
             {
                 var symbolInfo = syntaxNodeContext.SemanticModel.GetSymbolInfo(syntaxNode);
 
@@ -65,7 +68,7 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
                     return;
                 }
 
-                var canBeSetuped = symbolInfo.Symbol.CanBeSetuped();
+                var canBeSetuped = symbolInfo.Symbol.CanBeSubstituted();
 
                 if (canBeSetuped == false)
                 {
@@ -74,7 +77,7 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
                         GetSubstitutionNodeActualLocation(syntaxNode, symbolInfo.Symbol),
                         symbolInfo.Symbol.Name);
 
-                    syntaxNodeContext.ReportDiagnostic(diagnostic);
+                    TryReportDiagnostic(syntaxNodeContext, diagnostic, symbolInfo.Symbol);
                 }
 
                 if (canBeSetuped && symbolInfo.Symbol != null && symbolInfo.Symbol.MemberVisibleToProxyGenerator() == false)
@@ -89,6 +92,33 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
             }
         }
 
+        private bool ShouldAnalyzeNode(SemanticModel semanticModel, SyntaxNode syntaxNode)
+        {
+            var maybeIgnoredExpression = FindIgnoredEnclosingExpression(syntaxNode);
+            if (maybeIgnoredExpression == null)
+            {
+                return true;
+            }
+
+            var symbol = GetDeclarationSymbol(semanticModel, maybeIgnoredExpression);
+
+            if (symbol == null)
+            {
+                return false;
+            }
+
+            var blockStatementSyntax =
+                maybeIgnoredExpression.Ancestors().OfType<TBlockStatementSyntax>().FirstOrDefault();
+
+            if (blockStatementSyntax == null)
+            {
+                return false;
+            }
+
+            var dataFlowAnalysis = semanticModel.AnalyzeDataFlow(blockStatementSyntax);
+            return !dataFlowAnalysis.ReadInside.Contains(symbol);
+        }
+
         private Location GetSubstitutionNodeActualLocation(SyntaxNode syntaxNode, ISymbol symbol)
         {
             return syntaxNode.GetSubstitutionNodeActualLocation<TMemberAccessExpressionSyntax>(symbol);

diff --git a/...titute.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberWhenAnalyzer.cs b/...titute.Analyzers.Shared/DiagnosticAnalyzers/AbstractNonSubstitutableMemberWhenAnalyzer.cs
@@ -58,7 +58,7 @@ private void AnalyzeInvocation(SyntaxNodeAnalysisContext syntaxNodeContext)
                 var symbolInfo = syntaxNodeContext.SemanticModel.GetSymbolInfo(analysedSyntax);
                 if (symbolInfo.Symbol != null)
                 {
-                    var canBeSetuped = symbolInfo.Symbol.CanBeSetuped();
+                    var canBeSetuped = symbolInfo.Symbol.CanBeSubstituted();
                     if (canBeSetuped == false)
                     {
                         var diagnostic = Diagnostic.Create(

diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReEntrantCallFinder.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReEntrantCallFinder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReEntrantSetupAnalyzer.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReEntrantSetupAnalyzer.cs
diff --git a/...stitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReceivedInReceivedInOrderAnalyzer.cs b/...stitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractReceivedInReceivedInOrderAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteAnalyzer.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteAnalyzer.cs
diff --git a/...NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteConstructorAnalysis.cs b/...NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteConstructorAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteConstructorMatcher.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteConstructorMatcher.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteProxyAnalysis.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstituteProxyAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstitutionNodeFinder.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractSubstitutionNodeFinder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractUnusedReceivedAnalyzer.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/AbstractUnusedReceivedAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/CallInfoContext.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/CallInfoContext.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ConstructorContext.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ConstructorContext.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ICallInfoFinder.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ICallInfoFinder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/IReEntrantCallFinder.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/IReEntrantCallFinder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteConstructorAnalysis.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteConstructorAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteConstructorMatcher.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteConstructorMatcher.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteProxyAnalysis.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstituteProxyAnalysis.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstitutionNodeFinder.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/ISubstitutionNodeFinder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/SubstituteContext.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticAnalyzers/SubstituteContext.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticCategories.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticCategories.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticDescriptors.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticDescriptors.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DiagnosticIdentifiers.cs b/src/NSubstitute.Analyzers.Shared/DiagnosticIdentifiers.cs
diff --git a/src/NSubstitute.Analyzers.Shared/DisplayNameAttribute.cs b/src/NSubstitute.Analyzers.Shared/DisplayNameAttribute.cs
diff --git a/src/NSubstitute.Analyzers.Shared/ExcludeFromCodeCoverageAttribute.cs b/src/NSubstitute.Analyzers.Shared/ExcludeFromCodeCoverageAttribute.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/AnalyzerOptionsExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/AnalyzerOptionsExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/DocumentExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/DocumentExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/EnumExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/EnumExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/IArgumentOperationExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/IArgumentOperationExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/IEnumerableExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/IEnumerableExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/ISymbolExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/ISymbolExtensions.cs
@@ -5,7 +5,7 @@ namespace NSubstitute.Analyzers.Shared.Extensions
 {
     internal static class ISymbolExtensions
     {
-        public static bool CanBeSetuped(this ISymbol symbol)
+        public static bool CanBeSubstituted(this ISymbol symbol)
         {
             return IsInterfaceMember(symbol) || IsVirtual(symbol);
         }

diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/ObjectExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/ObjectExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/SubstituteSymbolExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/SubstituteSymbolExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxGeneratorExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxGeneratorExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxNodeAnalysisContextExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxNodeAnalysisContextExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxNodeExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/SyntaxNodeExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Extensions/TypeInfoExtensions.cs b/src/NSubstitute.Analyzers.Shared/Extensions/TypeInfoExtensions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/GlobalSuppressions.cs b/src/NSubstitute.Analyzers.Shared/GlobalSuppressions.cs
diff --git a/src/NSubstitute.Analyzers.Shared/IDiagnosticDescriptorsProvider.cs b/src/NSubstitute.Analyzers.Shared/IDiagnosticDescriptorsProvider.cs
diff --git a/src/NSubstitute.Analyzers.Shared/MetadataNames.cs b/src/NSubstitute.Analyzers.Shared/MetadataNames.cs
diff --git a/src/NSubstitute.Analyzers.Shared/NSubstitute.Analyzers.Shared.csproj b/src/NSubstitute.Analyzers.Shared/NSubstitute.Analyzers.Shared.csproj
diff --git a/src/NSubstitute.Analyzers.Shared/Properties/AssemblyInfo.cs b/src/NSubstitute.Analyzers.Shared/Properties/AssemblyInfo.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Resources.Designer.cs b/src/NSubstitute.Analyzers.Shared/Resources.Designer.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Resources.resx b/src/NSubstitute.Analyzers.Shared/Resources.resx
diff --git a/src/NSubstitute.Analyzers.Shared/Settings/AnalyzersSettings.cs b/src/NSubstitute.Analyzers.Shared/Settings/AnalyzersSettings.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Settings/Suppression.cs b/src/NSubstitute.Analyzers.Shared/Settings/Suppression.cs
diff --git a/src/NSubstitute.Analyzers.Shared/Settings/nsubstitute.schema.json b/src/NSubstitute.Analyzers.Shared/Settings/nsubstitute.schema.json
diff --git a/src/NSubstitute.Analyzers.Shared/SharedResourceManager.cs b/src/NSubstitute.Analyzers.Shared/SharedResourceManager.cs
diff --git a/src/NSubstitute.Analyzers.Shared/TinyJson/Json.cs b/src/NSubstitute.Analyzers.Shared/TinyJson/Json.cs
diff --git a/src/NSubstitute.Analyzers.Shared/TinyJson/JsonBuilder.cs b/src/NSubstitute.Analyzers.Shared/TinyJson/JsonBuilder.cs
diff --git a/src/NSubstitute.Analyzers.Shared/TinyJson/JsonMapper.cs b/src/NSubstitute.Analyzers.Shared/TinyJson/JsonMapper.cs
diff --git a/src/NSubstitute.Analyzers.Shared/TinyJson/JsonParser.cs b/src/NSubstitute.Analyzers.Shared/TinyJson/JsonParser.cs
diff --git a/src/NSubstitute.Analyzers.VisualBasic.Vsix/NSubstitute.Analyzers.VisualBasic.Vsix.csproj b/src/NSubstitute.Analyzers.VisualBasic.Vsix/NSubstitute.Analyzers.VisualBasic.Vsix.csproj
diff --git a/src/NSubstitute.Analyzers.VisualBasic.Vsix/Properties/launchSettings.json b/src/NSubstitute.Analyzers.VisualBasic.Vsix/Properties/launchSettings.json
diff --git a/src/NSubstitute.Analyzers.VisualBasic.Vsix/source.extension.vsixmanifest b/src/NSubstitute.Analyzers.VisualBasic.Vsix/source.extension.vsixmanifest
diff --git a/...Analyzers.VisualBasic/CodeFixProviders/ConstructorArgumentsForInterfaceCodeFixProvider.cs b/...Analyzers.VisualBasic/CodeFixProviders/ConstructorArgumentsForInterfaceCodeFixProvider.cs
diff --git a/...itute.Analyzers.VisualBasic/CodeFixProviders/InternalSetupSpecificationCodeFixProvider.cs b/...itute.Analyzers.VisualBasic/CodeFixProviders/InternalSetupSpecificationCodeFixProvider.cs
diff --git a/...deFixProviders/NonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs b/...deFixProviders/NonSubstitutableMemberArgumentMatcherSuppressDiagnosticsCodeFixProvider.cs
diff --git a/....VisualBasic/CodeFixProviders/NonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs b/....VisualBasic/CodeFixProviders/NonSubstitutableMemberSuppressDiagnosticsCodeFixProvider.cs
diff --git a/...rs.VisualBasic/CodeFixProviders/PartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs b/...rs.VisualBasic/CodeFixProviders/PartialSubstituteUsedForUnsupportedTypeCodeFixProvider.cs
diff --git a/src/NSubstitute.Analyzers.VisualBasic/CodeFixProviders/ReEntrantSetupCodeFixProvider.cs b/src/NSubstitute.Analyzers.VisualBasic/CodeFixProviders/ReEntrantSetupCodeFixProvider.cs
diff --git a/...tute.Analyzers.VisualBasic/CodeFixProviders/SubstituteForInternalMemberCodeFixProvider.cs b/...tute.Analyzers.VisualBasic/CodeFixProviders/SubstituteForInternalMemberCodeFixProvider.cs
diff --git a/...lyzers.VisualBasic/CodeRefactoringProviders/IntroduceSubstituteCodeRefactoringProvider.cs b/...lyzers.VisualBasic/CodeRefactoringProviders/IntroduceSubstituteCodeRefactoringProvider.cs
diff --git a/...stitute.Analyzers.VisualBasic/DiagnosticAnalyzers/AsyncReceivedInOrderCallbackAnalyzer.cs b/...stitute.Analyzers.VisualBasic/DiagnosticAnalyzers/AsyncReceivedInOrderCallbackAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/CallInfoAnalyzer.cs b/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/CallInfoAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/CallInfoCallFinder.cs b/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/CallInfoCallFinder.cs
diff --git a/...itute.Analyzers.VisualBasic/DiagnosticAnalyzers/ConflictingArgumentAssignmentsAnalyzer.cs b/...itute.Analyzers.VisualBasic/DiagnosticAnalyzers/ConflictingArgumentAssignmentsAnalyzer.cs
diff --git a/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberAnalyzer.cs b/src/NSubstitute.Analyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberAnalyzer.cs
diff --git a/...nalyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberArgumentMatcherAnalyzer.cs b/...nalyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberArgumentMatcherAnalyzer.cs
diff --git a/...itute.Analyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberReceivedAnalyzer.cs b/...itute.Analyzers.VisualBasic/DiagnosticAnalyzers/NonSubstitutableMemberReceivedAnalyzer.cs