CA2123: запросы компоновки переопределения должны быть идентичны базовым

Статья
08/11/2011

TypeName	OverrideLinkDemandsShouldBeIdenticalToBase
CheckId	CA2123
Категория	Microsoft.Security
Критическое изменение	Критическое изменение

Причина

Открытый или защищенный метод в открытом типе переопределяет метод или реализует интерфейс и не имеет в качестве интерфейса или виртуального метода такого же Требования связывания.

Описание правила

Это правило сравнивает метод с его базовым методом (который является интерфейсом или виртуальным методом другого типа), а затем сравнивает запросы ссылок для каждого из них. Правило считается нарушенным, если у одного из двух элементов (метода или базового метода) есть запрос ссылок, а у другого нет.

Если это правило нарушается, то злонамеренный вызывающий объект может обойти запрос ссылок путем вызова небезопасного метода.

Устранение нарушений

Чтобы устранить нарушение этого правила, примените то же требование ссылки к переопределению метода или реализации. Если это невозможно, следует пометить метод полным требованием или полностью удалить атрибут.

Отключение предупреждений

Для этого правила отключать вывод предупреждений не следует.

Пример

В следующем примере показаны различные нарушения этого правила.

using System.Security;
using System.Security.Permissions;
using System;

namespace SecurityRulesLibrary
{
   public interface ITestOverrides
   {  
      [EnvironmentPermissionAttribute(SecurityAction.LinkDemand, Unrestricted=true)]
      Object GetFormat(Type formatType);
   }

   public class OverridesAndSecurity : ITestOverrides
   {
      // Rule violation: The interface has security, and this implementation does not.
      object ITestOverrides.GetFormat(Type formatType)
      {
         return (formatType == typeof(OverridesAndSecurity) ? this : null);
      }

      // These two methods are overridden by DerivedClass and DoublyDerivedClass.
      [EnvironmentPermissionAttribute(SecurityAction.LinkDemand, Unrestricted=true)]
      public virtual void DoSomething()
      {
         Console.WriteLine("Doing something.");
      }

      public virtual void DoSomethingElse()
      {
         Console.WriteLine("Doing some other thing.");
      }
   }

   public class DerivedClass : OverridesAndSecurity, ITestOverrides
   {
      //  Rule violation: The interface has security, and this implementation does not.
      public object GetFormat(Type formatType)
      {
         return (formatType == typeof(OverridesAndSecurity) ? this : null);
      }

      // Rule violation: This does not have security, but the base class version does.
      public override void DoSomething()
      {
         Console.WriteLine("Doing some derived thing.");
      }

      // Rule violation: This has security, but the base class version does not.
      [EnvironmentPermissionAttribute(SecurityAction.LinkDemand, Unrestricted=true)]
      public override void DoSomethingElse()
      {
         Console.WriteLine("Doing some other derived thing.");
      }
   }

   public class DoublyDerivedClass : DerivedClass
   {
      // The OverridesAndSecurity version of this method does not have security. 
      // Base class DerivedClass's version does. 
      // The DoublyDerivedClass version does not violate the rule, but the 
      // DerivedClass version does violate the rule.
      public override void DoSomethingElse()
      {
         Console.WriteLine("Doing some other derived thing.");
      }
   }
}

См. также

Основные понятия

Правила написания безопасного кода

Требования связывания

Поделиться через