代码契约+代码分析

2024-01-11

我考虑开始使用代码合约 http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx在我的代码库中。

我已经使用代码分析并启用了所有规则并实现了零警告的目标。

然而,当使用Contract.Requires(parameter != null)我从代码分析中收到警告,即 CA1062:

CA1062:Microsoft.Design:在外部可见方法“Foo”中,在使用参数“parameter”之前验证它。

不幸的是,我不想禁用该规则,因为我发现它很有用。但我也不想压制每一个错误的发生。

有解决办法吗?


为了解决这个问题,需要执行以下步骤:

  1. 在代码分析中禁用 CA1062 以消除代码分析中的警告。目前还没有办法让代码分析理解Contract.Requires.
  2. 在项目的“代码合同”窗格中启用“执行静态合同检查”。
  3. 启用“隐式非空义务”
  4. 将警告级别设置为“hi”(重要的是,这就是我所缺少的!)

第 1 步消除了 CA 警告,第 2 步到第 4 步启用了至少等效的代码合约警告。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

代码契约+代码分析 的相关文章

  • C# 动态 Linq 变量Where 子句

    我正在按照 Scott Gu 的文章创建动态 LINQhttp weblogs asp net scottgu archive 2008 01 07 dynamic linq part 1 using the linq dynamic qu
  • 如何在Qt无框窗口中实现QSizeGrip?

    如何使用 Qt 无框窗口实现 QSizeGrip 代码会是什么样的 您只需在布局内窗口的一角添加 QSizeGrip 即可使其保持在该角落 QDialog dialog new QDialog 0 Qt FramelessWindowHin
  • WCF 版本控制枚举

    我开始编写一些需要向前兼容和版本控制的 WCF 数据协定 我一直在阅读 MSDN 文章here http msdn microsoft com en us library ms733832 aspx 并且想知道是否有人对有关枚举的第 14
  • string.empty 和 string[0] == '\0' 之间的区别

    假设我们有一个字符串 std string str some value is assigned 有什么区别str empty and str 0 0 C 11 及更高版本 string variable 0 如果字符串为空 则需要返回空字
  • 混合 VS2012 平台工具集

    我们正在从 VS2005 切换到 VS2012 update 2 我们正在构建大量 主要是控制台 本机 C 无 MFC ATL 可执行文件 它们使用几个常见的静态链接库 这些可执行文件主要在 Win7 计算机上运行 但有些也部署在较旧的 X
  • 输入缓冲区刷新

    考虑下面的代码 include
  • 如何使用 ASP.NET MVC 4.0 DonutOutputCache VaryByCustom 使缓存失效

    我正在为我的 ASP NET 应用程序使用 DevTrends MvcDonutCaching 包 它工作得很好 我目前遇到的一个问题是使我为子操作设置的 VaryByCustom 缓存无效 这是我用于 VaryByCustom 设置的一些
  • 使用 microsoft word.interop 删除 Word 文档中的空白页

    我创建了一个Word文档 它使用以下命令生成动态内容词互操作 它有一些分页符之间使用 我面临的问题是 此分页符会创建我不想向用户显示的空白页面 在某些情况下 我需要在那里添加这些分页符以维护页面布局 因此我无法考虑删除这些分页符 但我想要的
  • 如何解决素数函数的大O表示法?

    我正在尝试理解 Big O 表示法 很抱歉 如果我问的问题太明显了 但我似乎无法理解这一点 我有以下 C 代码函数 我正在尝试为其计算 Big O 表示法 for i 2 i lt 100 i for j 2 j lt i j j if i
  • 外部组件中的控制器上的 404

    我在解决 Asp Net MVC 4 项目中的 404 响应时遇到问题 它是在 VS2012 中构建的 目标版本为 4 5 我已将预编译的视图和控制器内置到独立的 DLL 中 我能够动态加载 DLL 并从我的核心项目中检查它们 甚至调用它们
  • 接口中的私有成员

    是否可以在 NET 接口中创建私有成员 我听说现在可以了 但我的 IDE 拒绝了 public interface IAnimal void SetDefaultName string name ChangeName name privat
  • tcmalloc/jemalloc 和内存池之间有什么区别(以及选择的理由)?

    tcmalloc jemalloc是改进的内存分配器 还引入了内存池以更好地分配内存 那么它们之间有什么区别以及在我的应用中如何选择它们呢 这取决于您的程序的要求 如果您的程序有更多的动态内存分配 那么您 需要从可用的分配器中选择一个内存分
  • 从 Linq 的列表中选择多个字段

    在 ASP NET C 中 我有一个结构 public struct Data public int item1 public int item2 public int category id public string category
  • 通过 Nuke.Common/NuGet.CommandLine 部署 NuGet 包时如何通过 Azure Auth

    我正在尝试通过 Azure DevOps 上的 Nuke 和 CI CD 自动执行 NuGet 包更新 一切都构建得很好 但在 PushNuGet 步骤中 该过程尝试通过弹出窗口向 Azure 进行身份验证 这显然从未在 in devops
  • 为什么 C# 编译的正则表达式比等效的字符串方法更快?

    每次我必须对字符串执行简单的包含或替换操作 其中我正在搜索的术语是固定值 时 我发现如果我获取示例输入并对其进行一些分析 则使用编译的正则表达式是几乎 总是比使用 String 类中的等效方法更快 我尝试过比较多种方法 hs是要搜索的 干草
  • XPath 选择具有特定属性值的元素?

    我在使用 XPath 选择节点时遇到问题 我将展示一个示例 由于实际数据量很大 xml 文件被缩短了 这是 XML 的子集
  • std::regex 转义正则表达式中使用的特殊字符

    我是字符串来创建一个std regex FILE 作为单元测试的一部分 检查一些打印文件名的异常输出 在 Windows 上失败并显示 regex error error escape 表达式包含无效的转义字符或尾随转义 因为 FILE 宏
  • 如何在OpenGL中像这样绘制连接的带状线

    我想用以下方式绘制一系列连接线 GL LINE STRIP 我尝试过自己编写代码 但没有得到想要的结果 所以我来到这里 帮助我找出我错在哪里 这里我只给出我的draw 函数 glBegin GL LINE STRIP glVertex2f
  • STL 向量、迭代器和插入 (C++)

    我有一个将向量的迭代器传递到的方法 在这个方法中 我想向向量中添加一些元素 但我不确定当只有迭代器时这是否可行 void GUIComponentText AddAttributes vector
  • 任何浮点密集型代码是否会在任何基于 x86 的架构中产生位精确的结果?

    我想知道使用浮点运算的 C 或 C 代码是否会在任何基于 x86 的体系结构中产生位精确的结果 无论代码的复杂性如何 据我所知 自 Intel 8087 以来的任何 x86 架构都使用准备处理 IEEE 754 浮点数的 FPU 单元 并且

随机推荐

  • VB.NET WebBrowser禁用javascript

    有没有办法在 vb net 中禁用 javascript webbrowser 对我有用 Private Function TrimScript ByVal htmlDocText As String As String While htm
  • 检测 Spring Boot 应用程序时的类路径问题

    我有一个 springboot 应用程序 我正在尝试使用 bytebuddy 来检测它 我遇到了我无法理解的类路径问题 首先 以下是这方面的其他文献 https github com raphw byte buddy issues 473
  • 如何在 Coq 中切换当前目标?

    是否可以切换当前目标或子目标来在 Coq 中进行证明 例如 我有一个这样的目标 来自 eexists 1 1 s gt 0 r1 r1 s1 s r3 r3 s2 我想做的是split并首先证明正确的连接 我认为这将给出存在变量的值 s 并
  • Apache Thrift 和 ZeroMQ 之间的区别

    据我了解 Apache Thrift 和 ZeroMQ 是属于不同类别的软件 并且很难进行比较 因为这是苹果与橘子的比较 但我不知道为什么它们属于不同的类别 它们不是都用于在不同的服务之间传递数据吗 这些服务可能用不同的语言编写 也可能不是
  • QT 以普通用户身份启动程序

    我的自动更新程序需要管理员权限才能运行 因为它会修改程序文件夹中的文件 这一切都很好 但是 更新完成后我想要我的updater exe开始myApplication exe but without管理员权限 我当前用于从 updater e
  • bitbucket web:突出显示或灰显的合并提交?

    我想知道为什么在 bitbucket webui 的提交视图中 我看到一些合并提交的 M 为灰色 而其他提交则为彩色 如何设置或如何检测它们 我无法找到有关此行为的任何文档 此行为基于提交评论 它必须包含以下行 Conflicts src
  • Visual Studio regex_iterator 错误?

    我使用的是 Visual Studio 2013 我发现了一个错误 我希望有人可以确认 string foo A nB rC n r vector
  • 如何从 RecyclerView 中的编辑文本获取数据?

    我有带有编辑文本的recyclerview 每行都有一个编辑文本 我在编辑文本中手动输入值 输入值后 我想在每一行中获取这些值 我想将这些值添加到主要活动中 recyclerview 中可能有 10 到 20 行 我想获取这些编辑文本中的所
  • 如何防止lombok被打包到Spring Boot jar中?

    如果您访问官方龙目岛 Maven 指南 http projectlombok org mavenrepo 你会发现它的范围应该是provided 当我使用从头开始创建一个新项目时启动 spring io http start spring
  • 带有 OpenGL 的 Qt MDI 应用程序:如何获取有效的屏幕截图?

    我有一个MDI http en wikipedia org wiki Multiple document interface用 Qt 编写的应用程序 一些子窗口包括QGLWidgets 即 OpenGL 上下文 其中最突出的是使用 Open
  • 如何修复尝试使用 Selenium 查找元素时引发的 TypeError?

    我正在尝试从网页上抓取所有链接 我正在使用 Selenium WebDriver 滚动并单击网页中的 加载更多 按钮 我正在尝试的代码如下所示 from selenium import webdriver from selenium web
  • 使用 Bash 删除文本文件中的列?

    我需要编写一个脚本 从 Finger 的输出中删除 Idle 列 gt finger Login Name TTY Idle Login Time Office Phone Billy Billy Howard con 6 55 Fri 1
  • NavigationView 栏材质在 iOS 15 上不可见

    在 iOS 15 上 一个带有NavigationView with inline模式不再显示您在导航栏上看到的模糊材质颜色 示例代码 struct ContentView View var body some View Navigatio
  • 将 python 包 Egg 存储在 Artifactory 中是个好主意吗?

    目前我正在开发自动化测试框架 该测试框架有不同的包 这些包将在不同的项目中引用 并且可能由开发人员在本地进行修改 我想管理 python 包 Eggs 我正在考虑使用 Artifactory 我试图寻找Python的Artifactory帮
  • iOS8 的 KeychainItemWrapper 崩溃

    我在用着钥匙串项目包装 https developer apple com library ios samplecode GenericKeychain Listings Classes KeychainItemWrapper m html
  • 在Python中查找给定字符串的所有可能排列[重复]

    这个问题在这里已经有答案了 我有一根绳子 我想通过更改该字符串中字符的顺序来生成该字符串的所有排列 例如 说 x stack 我想要的是这样的列表 l stack satck sackt 目前 我正在迭代字符串的列表强制转换 随机选取 2
  • 在 ggplot2 箱线图上添加多个标签

    我正在尝试在此箱形图上为 2 组添加带有男性和女性平均年龄的标签 到目前为止 我只能按小组进行 而不能按性别和小组进行 我的数据框 Age c 60 62 22 24 21 23 Sex c f m f f f m Group c Old
  • 为什么基于TComponent的接口实现会泄漏内存?

    此 Delphi 代码将显示 TMyImplementation 实例的内存泄漏 program LeakTest uses Classes type MyInterface interface end TMyImplementation
  • Python 中的迷你语言

    我正在用 Python 创建一个简单的迷你语言解析器 靠近问题域进行编程等等 不管怎样 我想知道这里的人会如何做这件事 在 Python 中做这种事情的首选方法是什么 我不会给出我所追求的具体细节 因为目前我只是研究整个领域在 Python
  • 代码契约+代码分析

    我考虑开始使用代码合约 http msdn microsoft com en us devlabs dd491992 aspx在我的代码库中 我已经使用代码分析并启用了所有规则并实现了零警告的目标 然而 当使用Contract Requir