static analysis共20篇
C++核心检查中的算术溢出检查-yiteyi-C++库

C++核心检查中的算术溢出检查

点这里看中文版 我们已经在Visual Studio 2017中改进了每个C++编译器更新的C++代码分析工具集。 版本15.6,现在预览 ,包括一组算术溢出检查。本文将讨论这些检查以及为什么要在代码中启用它们...
CPPKU的头像-yiteyi-C++库CPPKU4年前
1230
Visual Studio 2017 15.7预览1的C++代码分析改进-yiteyi-C++库

Visual Studio 2017 15.7预览1的C++代码分析改进

点这里看中文版 我们正在更容易地配置和使用C++代码分析特性,并以15.7为目标的一组更改。在前15.7预览版中,我们已经清理了UI,修复了文档链接 最重要的是,简化了分析扩展的方式 已配置。 如...
Windows Embedded Compact 2013本机开发经验-yiteyi-C++库

Windows Embedded Compact 2013本机开发经验

在windows embedded compact 2013中,我们正在通过Visual Studio 2012将本机开发人员体验更新为最新和最好的体验。通过此更新,我们将为嵌入式开发人员带来2012本机桌面体验。这篇文章详细介绍...
CPPKU的头像-yiteyi-C++库CPPKU4年前
560
VisualStudio 2017中的C++核心检查15.7预览2-yiteyi-C++库

VisualStudio 2017中的C++核心检查15.7预览2

这篇文章是由Sergiy Oryekhov写的。 C++核心指南检查扩展接收了几个新规则 Visual Studio 2017 15.7预览版2 . 这个迭代的主要焦点是检查,这些检查将使从 指南支持库 . 下面是这些补充的简要总...
VS 2015更新1可用的C++核心指南检查器-yiteyi-C++库

VS 2015更新1可用的C++核心指南检查器

[本文作者 安德鲁·帕多和尼尔·麦金托什] 更新:CppCoreCheck工具现在是VS 2017的一部分: https://blogs.msdn.microsoft.com/vcblog/2016/10/12/cppcorecheck . 九月份的时候 CppCon 2015年 ...
CPPKU的头像-yiteyi-C++库CPPKU4年前
490
Visual Studio 2019 Preview 2中的生存期配置文件更新-yiteyi-C++库

Visual Studio 2019 Preview 2中的生存期配置文件更新

C++核心指南的生命周期配置文件,它是 C++核心指南 其目的是检测C++代码中的悬空指针和引用等生命周期问题。它使用源代码中已经存在的类型信息以及函数之间的一些简单契约,在编译时以最少的注...
CPPKU的头像-yiteyi-C++库CPPKU4年前
920
C++核心指南检查器现在处于单个NuGET封装中-yiteyi-C++库

C++核心指南检查器现在处于单个NuGET封装中

更新:C++核心指南检查器现在包含在VisualStudio 2017的框中。 https://blogs.msdn.microsoft.com/vcblog/2016/10/12/cppcorecheck 这是一个令人兴奋的一年,因为C++核心指南和检查员宣布从Bjar...
CPPKU的头像-yiteyi-C++库CPPKU4年前
620
C++核心检查中的新安全规则-yiteyi-C++库

C++核心检查中的新安全规则

锈和C++是两种流行的系统编程语言。 多年来,C++的焦点一直是性能方面的问题。 W 我们的听力越来越差 客户和安全研究人员的呼吁,C++应该具有更强的语言安全保证。 在编程安全方面,C++经常会生...
CPPKU的头像-yiteyi-C++库CPPKU4年前
430
VS 2017中包含C++核心检查代码分析-yiteyi-C++库

VS 2017中包含C++核心检查代码分析

Visual Studio“15”预览5 现在包含C++核心指南检查器。这意味着您不再需要安装 NuGET C++核心检查包 根据中的规则和配置文件检查代码 C++核心指南 . 只需配置代码分析就可以包含C++核心检查扩...
CPPKU的头像-yiteyi-C++库CPPKU4年前
530
C++代码分析中的安全规则-yiteyi-C++库

C++代码分析中的安全规则

在 Visual Studio版本16.8 预览3 , 我们 是 添加 惯性导航与制导 一 很少的 C++代码分析的安全规则 那可以 找到 一些常见的错误,可能导致 虫子范围 从简单的断开特征到 代价高昂的安全漏洞。 ...
用C++核心指南检查器检查是否正确-yiteyi-C++库

用C++核心指南检查器检查是否正确

这篇博文是由Sunny Chatterjee和Andrew Pardoe撰写的 这个 C++核心指南 专注于提高代码正确性和安全性的简单方法。我们介绍了 C++核心指南检查器 帮助实现代码中C++核心指南的自动化。 对代码所...
CPPKU的头像-yiteyi-C++库CPPKU4年前
550
VisualStudio中C++核心检查-yiteyi-C++库

VisualStudio中C++核心检查

C++核心检查是微软的静态分析工具,它执行规则。 C++核心指南 这是由C++基金会维护的。这篇文章将提供C++核心检查提供的C++核心指南覆盖的快照。 对于后台,C++团队在2015年12月引入C++核心检查...
CPPKU的头像-yiteyi-C++库CPPKU4年前
1470