Infer#:将 Facebook 的静态分析器带工具带到 C# 和 .NET
NET团队借助Infer#，将Facebook的跨程序静态分析功能引入 到.NET 生态系统中可用的静态分析器选项。 2015 年,Facebook开源了静态分析工具Infer。它支持 Java 和 C/C++/Objective-C 代码，并能够检测许多潜在问题，包括空指针异常、资源泄漏、注释 ...
原文：C#静态分析（static analysis ）工具 Roslynator.Analyzers 将方法数量提高了 500 多
Roslynator.Analyzers 软件包的新版本 . . 将分析 重构和修复方法的数量提升到了 多个。Roslynator 使用开源的 Roslyn .NET 编译器平台对 C 代码进行静态分析。这个分析驱动 IDE 显示可以帮助你改进代码的提示和操作信息。 Roslynator 可以安装到 Visual Studio Visual Studio 和 Visual Studio Code ...
2022-03-12 16:38 0 930 推荐指数：
相关推荐
静态分析工具汇总
静态代码扫描，借用一段网上的原文解释一下(这里叫静态检查)：“静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码 ...
一款C++静态分析工具 —— CppDepend
他们的C++静态分析工具，也就是CppDepend。 在这款软件的官方网站上，我们可以看到使用CppDepen ...
如何通过静态分析提高iOS代码质量
随着项目的扩大，依靠人工codereview来保证项目的质量，越来越不现实，这时就有必要借助于一种自动化的代码审查工具：程序静态分析。 程序静态分析（Program Static Analysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术 ...
C/C++代码静态分析工具调研
C/C++代码静态分析工具调研 摘自：https://www.jianshu.com/p/92886d979401 简述 静态分析（static analysis）是指在不执行代码的情况下对其进行分析评估的过程，是软件质量和软件安全保障的重要一环。它通过词法分析、语义分析 ...
C++ 代码静态分析工具cppcheck【转】
cppcheck 使用 cppcheck分析结果 cppcheck可以分析错误的类型 ...
静态时序分析(static timing analysis)
静态时序分析（static timing analysis，STA）会检测所有可能的路径来查找设计中是否存在时序违规(timing violation)。但STA只会去分析合适的时序，而不去管逻辑操作的正确性。 其实每一个设计的目的都相同，使用Design Compiler和IC Compile ...