Набор правил "Базовые правила определения правильности" для управляемого кода
Набор правил "Основные правила для определения корректности кода" ориентирован на логические и общие ошибки в использовании API платформы.В наборе "Основные правила для определения корректности кода" содержатся правила из набора правил "Минимальные правила и рекомендации".Дополнительные сведения см. в разделе Набор правил "Рекомендуемые правила для управляемого кода". Следует включить этот набор правил для получения более широкого списка предупреждений, чем список, полученный при использовании минимального набора правил.
В следующей таблице описываются все правила в наборе правил корпорации Майкрософт "Основные правила для определения корректности кода".
Правило |
Описание |
|---|---|
Типы, которым принадлежат освобождаемые поля, должны быть освобождаемыми |
|
Правильно объявите обработчики событий |
|
Пометьте сборки атрибутом AssemblyVersionAttribute |
|
Методы интерфейса должны быть доступны для вызова дочерним типам |
|
Типы, которым принадлежат собственные ресурсы, должны быть освобождаемыми |
|
Переместите P/Invokes в класс NativeMethods |
|
Не скрывайте методы базового класса |
|
Следует правильно реализовывать IDisposable |
|
Не вызывайте исключения в непредвиденных местах |
|
Избегайте повторяющихся сочетаний клавиш быстрого доступа |
|
Необходимо наличие точек входа P/Invoke |
|
Методы P/Invoke не должны быть видимыми |
|
Типы макета Auto не должны быть видимыми для COM |
|
Вызовите GetLastError сразу после P/Invoke |
|
Базовые типы, относящиеся к типу видимых COM-клиенту, должны быть видимыми для COM |
|
Методы регистрации COM должны быть согласованы |
|
Правильно объявите методы P/Invoke |
|
Удалите пустые методы завершения |
|
Поля типа значения должны быть переносимыми |
|
Объявления P/Invoke должны быть переносимыми |
|
Не блокируйте объекты со слабой идентификацией |
|
Проанализируйте SQL-запросы с целью выявления уязвимостей безопасности |
|
Укажите тип маршалинга для строковых аргументов P/Invoke |
|
Проверьте объявляемые параметры безопасности типов значений |
|
Указатели не должны быть видимыми |
|
Защищенные типы не должны предоставлять поля |
|
Безопасность метода должна быть надмножеством типа |
|
APTCA-методы должны вызывать только APTCA-методы |
|
APTCA-типы должны расширять только базовые APTCA-типы |
|
Не используйте косвенное представление методов с требованиями ссылки |
|
Переопределяющие требования ссылки должны быть идентичны базовым |
|
Ограничьте уязвимые предложения finally во внешних блоках try |
|
Для требований ссылок на тип необходимы требования наследования |
|
Критические с точки зрения безопасности типы могут не участвовать в эквивалентности типов |
|
Конструкторы по умолчанию должны быть по меньшей мере такими же критическими, как конструкторы по умолчанию базового типа |
|
Делегаты должны привязываться к методам с соответствующей прозрачностью |
|
Методы должны сохранять согласованную прозрачность при переопределении базовых методов |
|
Прозрачные методы должны содержать только поддающийся проверке IL |
|
Прозрачные методы не должны вызывать методы с атрибутом SuppressUnmanagedCodeSecurity |
|
Прозрачный код не должен ссылаться на элементы, критичные в плане безопасности |
|
Прозрачные методы не должны удовлетворять требования LinkDemand |
|
Типы должны быть настолько же критическими, как их базовые типы и интерфейсы. |
|
Прозрачные методы могут не использовать утверждения безопасности |
|
Прозрачные методы не должны вызывать машинный код |
|
Следует повторно вызывать исключение для сохранения сведений о стеке |
|
Не удаляйте объекты несколько раз |
|
Используйте встроенную инициализацию статических полей типов значений |
|
Не помечайте обслуживаемые компоненты атрибутом WebMethod |
|
Освобождаемые поля должны быть освобождены |
|
Не вызывайте переопределяемые методы в конструкторах |
|
Высвобождаемые типы должны объявлять метод завершения |
|
Методы завершения должны вызывать метод завершения базового класса |
|
Реализуйте конструкторы сериализации |
|
Перегружать оператор равенства следует на переопределяющем типе ValueType.Equals |
|
Отметьте точки входа Windows Forms меткой STAThread |
|
Пометьте все несериализуемые поля |
|
Вызовите методы базового класса для типов ISerializable |
|
Пометьте типы ISerializable атрибутом SerializableAttribute |
|
Правильно реализуйте методы сериализации |
|
Правильно реализуйте ISerializable |
|
Предоставьте правильные аргументы методам форматирования |
|
Правильно выполните проверку NaN |
|
Перечисляемые типы должны иметь нулевое значение |
|
Перегружайте оператор равенства при перегрузке операторов сложения и вычитания |
|
Не передавайте литералы в виде локализованных параметров |
|
Нормализуйте строки в верхнем регистре |
|
Не игнорируйте результаты метода |
|
Вызов GC.SuppressFinalize должен осуществляться правильно |
|
Свойства не должны возвращать массивы |
|
Проверьте наличие пустых строк путем проверки длины строки |
|
Используйте API-интерфейс только из целевой исполняющей среды |
|
Удалите вызовы GC.KeepAlive |
|
Используйте SafeHandle для инкапсуляции машинных ресурсов |
|
Перехватите исключения, не являющиеся CLSCompliant, с помощью общих обработчиков |
|
Не объявляйте изменяемые ссылочные типы, доступные только для чтения |
|
Поля массивов не должны быть доступны только для чтения |
|
Обеспечьте безопасность утверждений |
|
Вызовите GC.KeepAlive при использовании собственных ресурсов |
|
Запечатайте методы, соответствующие закрытым интерфейсам |
|
Обеспечьте безопасность конструкторов сериализации |
|
Статические конструкторы должны быть закрытыми |
|
Константы критической безопасности должны быть прозрачными |
|
Используйте управляемые эквиваленты API Win32 |
|
Методы Dispose должны вызывать такие же методы базового класса |
|
Методы завершения должны быть защищены |
|
Не уменьшайте видимость унаследованных членов |
|
Члены должны различаться не только возвращаемым типом |
|
Переопределите равенство при перегрузке оператора равенства |
|
Перегрузки операторов должны быть симметричны |
|
Свойства коллекции должны иметь параметр "только для чтения" |
|
Предоставьте методы десериализации для необязательных полей |