Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam

Webinar: Evaluation - 05.12

>
>
>
Examples of errors detected by the V301…

Examples of errors detected by the V3013 diagnostic

V3013. It is odd that the body of 'Foo_1' function is fully equivalent to the body of 'Foo_2' function.


Flax Engine

V3013 It is odd that the body of 'Show' function is fully equivalent to the body of 'Hide' function (70, line 78). WindowRootControl.cs 70, 78


partial class Window
{
  ....
  public void Show()
  ....
  public void Hide()
  ....
}
public class ContextMenuBase : ContainerControl
{
  private Window _window;
  ....
  public void Show()                      // <=
  {
    _window.Show();
  }

  public void Hide()                      // <=
  {
    _window.Show();
  }

  public void Minimize()
  {
    _window.Minimize();
  }
}

IronPython and IronRuby

V3013 It is odd that the body of 'IsPositiveOne' function is fully equivalent to the body of 'IsNegativeOne' function (351, line 355). BigDecimal.cs 351


public static bool IsPositiveOne(BigDecimal x) {
  return IsOne(x) && IsPositive(x);
}

public static bool IsNegativeOne(BigDecimal x) {
  return IsOne(x) && IsPositive(x);
}

.NET Compiler Platform ("Roslyn")

V3013 It is odd that the body of 'Whitespace' function is fully equivalent to the body of 'ElasticWhitespace' function (118, line 129). SyntaxFactory.cs 118


public static SyntaxTrivia Whitespace(string text)
{
  return Syntax.InternalSyntax.SyntaxFactory.Whitespace(
           text, elastic: false);
}

public static SyntaxTrivia ElasticWhitespace(string text)
{
  return Syntax.InternalSyntax.SyntaxFactory.Whitespace(
           text, elastic: false);
}

Samples by the Infragistics Company

V3013 It is odd that the body of 'StartCurrent' function is fully equivalent to the body of 'StopCurrent' function (503, line 507). DataViewModel.cs 503


public void StartCurrent()
{
  StartTask("Current");
}

public void StopCurrent()
{
  StartTask("Current");
}

FlashDevelop

V3013 It is odd that the body of 'SuspendMdiClientLayout' function is fully equivalent to the body of 'PerformMdiClientLayout' function (377, line 389). DockPanel.MdiClientController.cs 377


private void SuspendMdiClientLayout()
{
  if (GetMdiClientController().MdiClient != null)
    GetMdiClientController().MdiClient.PerformLayout(); // <=
}

private void PerformMdiClientLayout()
{
  if (GetMdiClientController().MdiClient != null)
    GetMdiClientController().MdiClient.PerformLayout();
}

Similar errors can be found in some other places:

  • V3013 It is odd that the body of 'State11' function is fully equivalent to the body of 'State15' function (532, line 589). Lexer.cs 532

Telerik UI for UWP

V3013 It is odd that the body of 'OnMinValuePropertyChanged' function is fully equivalent to the body of 'OnMaxValuePropertyChanged' function. RadGauge.cs 446


private static void OnMinValuePropertyChanged(DependencyObject sender,
                                              DependencyPropertyChangedEventArgs
                                              args)
{
  double newVal = (double)args.NewValue;
  ValidateValue(newVal);

  RadGauge gauge = sender as RadGauge;
  if (gauge.panel != null)
  {
    gauge.panel.UpdateOnMinMaxValueChange();
  }

  if (AutomationPeer.ListenerExists(AutomationEvents.PropertyChanged))
  {
    var peer = FrameworkElementAutomationPeer.FromElement(gauge)
                                              as RadGaugeAutomationPeer;
    if (peer != null)
    {
      peer.RaiseMinimumPropertyChangedEvent((double)args.OldValue,
                                            (double)args.NewValue);
    }
  }
}

private static void OnMaxValuePropertyChanged(DependencyObject sender,
                                              DependencyPropertyChangedEventArgs
                                              args)
{
  double newVal = (double)args.NewValue;
  ValidateValue(newVal);

  RadGauge gauge = sender as RadGauge;
  if (gauge.panel != null)
  {
    gauge.panel.UpdateOnMinMaxValueChange();
  }

  if (AutomationPeer.ListenerExists(AutomationEvents.PropertyChanged))
  {
    var peer = FrameworkElementAutomationPeer.FromElement(gauge)
                                              as RadGaugeAutomationPeer;
    if (peer != null)
    {
      peer.RaiseMinimumPropertyChangedEvent((double)args.OldValue,
                                            (double)args.NewValue);
    }
  }
}

Emby

V3013 It is odd that the body of 'Read' function is fully equivalent to the body of 'Write' function (407, line 415). BaseSqliteRepository.cs 407


public static IDisposable Read(this ReaderWriterLockSlim obj)
{
  return new WriteLockToken(obj);
}
public static IDisposable Write(this ReaderWriterLockSlim obj)
{
  return new WriteLockToken(obj);
}
private sealed class WriteLockToken : IDisposable
{
  private ReaderWriterLockSlim _sync;
  public WriteLockToken(ReaderWriterLockSlim sync)
  {
    _sync = sync;
    sync.EnterWriteLock();
  }
  public void Dispose()
  {
    if (_sync != null)
    {
      _sync.ExitWriteLock();
      _sync = null;
    }
  }
}

Ryujinx

V3013 It is odd that the body of 'PrintLeft' function is fully equivalent to the body of 'PrintRight' function (10, line 18). PackedTemplateParameter.cs 10


public override void PrintLeft(TextWriter writer)
{
    foreach (BaseNode node in Nodes)
    {
        node.PrintLeft(writer);
    }
}

public override void PrintRight(TextWriter writer)
{
    foreach (BaseNode node in Nodes)
    {
        node.PrintLeft(writer);
    }
}

PeachPie

V3013 It is odd that the body of 'addGlob' function is fully equivalent to the body of 'addPattern' function (506, line 515). ZipArchive.cs 506


public bool addGlob(....)
{
  PhpException.FunctionNotSupported(nameof(addGlob));
  return false;
}

public bool addPattern(....)
{
  PhpException.FunctionNotSupported(nameof(addGlob));
  return false;
}

AWS SDK for .NET

V3013 It is odd that the body of 'IsSetServerSideEncryptionMethod' function is fully equivalent to the body of 'IsSetServerSideEncryptionCustomerMethod' function. GetObjectMetadataResponse.cs 311


// Check to see if ServerSideEncryptionCustomerMethod property is set
internal bool IsSetServerSideEncryptionCustomerMethod()
{
  return this.serverSideEncryptionCustomerMethod != null;
}

// Check to see if ServerSideEncryptionCustomerMethod property is set
internal bool IsSetServerSideEncryptionMethod()
{
  return this.serverSideEncryptionCustomerMethod != null;    // <=
}