CS.CMP.VAL.NULL

泛型类型中没有引用约束的类型参数的实体与“null”进行了比较。

漏洞与风险

如果泛型类型中的类型参数没有引用约束,它可以使用值类型替代。将值类型实体与“null”进行比较始终会返回 false,因此无任何作用。

示例 1

复制
  namespace Namespace {
      class Foo<T1> where T1: class {
          T1 t;
          bool checkT() {
              return (t == null);  // OK - cannot be a value type
          }
      }
      class Bar<T2> where T2: struct {
          T2 t;
         bool setT(T2 arg) {
             if (arg != null)     // defect
                 t = arg;
         }
     }
 }

安全培训

应用程序安全培训材料由 Secure Code Warrior 提供。