使用代码分析工具分析应用程序质量
什么是新在 Visual Studio 2012
代码分析窗口 |
代码分析警告现在都会出现在代码分析工具窗口。 您管理和解决代码分析警告的 windows 帮助。 |
筛选器警告消息 |
在窗口中,可以按照关键字、项目和严重级别筛选在代码分析窗口的消息。 |
将显示代码编辑器 |
在窗口中选择代码分析的消息显示在消息触发的源代码编辑的行。 |
C++ 消息禁止显示 |
在代码分析"窗口中,您可以将注意到禁止显示一个选定警告的源代码中。 |
C++ 规则集 |
与托管代码,现在可以指定要应用于代码分析由负责创建或使用规则集的代码分析规则。 |
为 windows 存储 apps 支持
可以运行在 Visual Basic、C# 和 C/++ 代码的代码分析在窗口中存储 apps。 有关更多信息,请 分析 windows 和 Visual Studio 一起存储 apps 代码的质量中代码分析 参见 windows Dev 中心。
新 C++Concurrency 警告
新的并发警告帮助您确保锁在多线程的 C/C++ 程序的专业。 该分析器检测许多的并发 bug,包括固定违反协定和不匹配的同步操作的潜在的争用条件、锁定顺序反向、"调用方/被调用方。
争用条件。 应由锁保护变量的 <var> <lock>。 |
|
不能使用为可变 <var>正确互锁操作。 |
|
锁定命令冲突。 获取具有级别 <level> 的锁 <lock> 导致顺序反向。 |
|
持有锁的调用方失败 <lock> 在调用函数之前 <func>。 |
|
释放锁的调用方失败 <lock> 在调用函数之前 <func>。 |
|
调用方不能在调用 <func>之前保存任何锁。 |
|
不能将释放功能 <func>的锁 <lock>。 |
|
无法获得或保持 <func>的锁 <lock>。 |
|
释放对函数 <func>的 unheld 锁 <lock>。 |
|
缺少批注函数 <func>的_Requires_lock_held_ (<lock>) 或_No_competing_thread_。 否则它可以是争用条件。 应由锁保护变量的 <var> <lock>。 |
|
在功能 <func>缺少的批注 <annotation>。 |
|
并发 SAL 注释错误 |
|
不能的调用方在调用函数之前持有锁 <lock> <func>。 |
|
不能释放锁 |
|
不能获取或悬停在功能 <func>的锁 <lock>。 |
|
可以将释放功能 <func>的 unheld 锁 <lock>。 |
|
驱动器模块推断出流函数不是函数的正确类型 |
|
取消引用 NULL 指针 |
本节内容
托管代码分析
托管代码的代码分析提供有关托管程序集的信息,如 Microsoft .NET framework 设计准则中规定的编程和设计规则的冲突。 警告消息标识任何相关的编程和设计问题,如有可能,还提供有关如何修复问题的信息。
使用代码分析来分析托管代码质量
了解如何配置和运行托管代码分析工具。托管代码的代码分析警告
描述代码 C/C++ 代码分析报表的警告。
C++ 代码分析
C/C++ 代码分析工具为开发人员提供了有关他们的 C/C++ 源代码中可能存在的缺陷的信息。 工具报告的常见编码错误包括缓冲区溢出、内存未初始化、null 指针取消引用以及内存和资源泄漏。
使用代码分析来分析 C/C++ 代码质量
了解如何配置和运行的 C/C++ 代码分析工具。C/C++ 代码分析警告
描述代码 C/C++ 代码分析报表的警告。
代码分析驱动程序
代码分析工具可帮助提高系统分析驱动程序源代码以改进您的驱动程序的稳定性和可靠性。
Analyzing Driver Quality by Using Code Analysis Tools
驱动程序的代码分析是检测到 C 和 C++ 程序的基本代码中的错误的编译时静态验证工具并包含用于检测到的专用模块 (主) 内核模式驱动程序代码中的错误。 静态驱动程序满足 (SDV) 是系统地分析 windows 内核模式驱动程序源代码的静态验证工具。 SDV 确定该驱动程序是否与 windows 操作系统内核正确交互。Code Analysis for Drivers Warnings
描述驱动程序的代码分析报告的警告当检测到位于驱动器代码的一个可能的错误。
本节中的其他主题
更多代码分析信息
- 利用团队项目签入策略提高代码质量
此处插入说明。
相关任务
测量托管代码的复杂性和可维护性
此处插入说明。使用单元测试验证代码
此处插入说明。