静态代码分析 - 随笔分类 - Trinitytec

开发人员需要了解的关于MISRA C:2025®的信息

摘要：MISRA 正在不断审查其针对 C 和 C++ 语言的规则和指南，Perforce QAC新增的合规性模块可实现对MISRA C:2025标准的100%覆盖，助您轻松满足并完整记录该标准的合规性要求。阅读全文

posted @ 2026-02-10 13:59 Trinitytec 阅读(27) 评论(0) 推荐(0)

摘要：嵌入式系统有很多，但真正能支持嵌入式软件开发人员的静态代码分析工具却很少。OpenText最近对Micro Focus(包括Fortify静态代码分析工具)的收购，重新引发了一个问题，即哪种静态代码分析工具最适合您的嵌入式软件项目。通过比较Fortify和Klocwork，我们的专家找到了答案。本阅读全文

posted @ 2023-01-12 15:02 Trinitytec 阅读(330) 评论(0) 推荐(0)

开发人员使用Klocwork实现软件安全的5大原因

摘要：Klocwork是为企业DevOps和DevSecOps而生的，因为Klocwork能够在保持高开发速度的同时，确保在安全和质量方面的持续合规，所以是企业首选的静态分析和SAST工具。在这里，我们将分享开发人员选择Klocwork的5大原因。为什么安全性对于软件开发至关重要？安全性对于软件开发至阅读全文

posted @ 2022-10-09 14:28 Trinitytec 阅读(162) 评论(0) 推荐(0)

开发人员使用Helix QAC满足合规性的5大原因

摘要：30多年来，Helix QAC(前PRQA)一直是值得信赖的静态分析工具，能够满足严格监管和安全关键行业的严苛合规要求。在这里，我们将分享开发人员选择Helix QAC的5大原因。为什么合规性对于软件开发至关重要？对于汽车、航空航天和国防、轨道交通以及医疗器械等安全关键行业，遵守功能安全标准有助阅读全文

posted @ 2022-09-28 14:25 Trinitytec 阅读(196) 评论(0) 推荐(0)

什么是完全的静态分析?

摘要：在开发安全、可靠和兼容的软件时，完全的静态分析是一个大有裨益的实践方法。在这里，我们将讨论：从静态分析的角度来看，什么使完全的静态分析与众不同?为什么完全的静态分析很重要?完全的静态代码分析是如何运行的? 本文将包含如下几个部分：什么是完全的静态分析? 完全的静态分析是如何运行的? 为什么完全的静阅读全文

posted @ 2022-08-31 13:41 Trinitytec 阅读(228) 评论(0) 推荐(0)

什么是遗留代码：有效地处理遗留代码的8个小贴士

摘要：处理旧的而不是您自己编写的历史遗留代码将是一份苦差事。但是，除非您是从头开始一个项目，否则这是不可避免的。这意味着您需要一种更好的方式来处理遗留代码。这就是为什么我们提供了一些指导，解释什么是遗留代码、如何有效地处理遗留代码的最佳实践，以及静态代码分析如何帮助重构代码。本文将包含如下几个部分：阅读全文

posted @ 2022-08-09 15:34 Trinitytec 阅读(156) 评论(0) 推荐(0)

如何使用MISRA改进嵌入式编程

摘要：嵌入式编程主要用于驱动安装在大型设备(如汽车、飞机或医疗设备)旨在执行特定的专用功能的系统。每个专用功能都是通过嵌入式编程实现的。这些代码必须是可靠且无误的，因为任何漏洞都可能对嵌入式系统的安全造成毁灭性的后果。因此，应用像MISRA这样的编码规范来确保代码的可靠性和高质量是非常必要的。在这里，阅读全文

posted @ 2022-07-27 15:39 Trinitytec 阅读(256) 评论(0) 推荐(0)

静态代码分析是如何工作的

摘要：了解静态代码分析是如何工作的，可以帮助您更轻松地提高质量，并在不牺牲速度的情况下遵守编码规范。在这里，我们将阐释静态代码分析是如何工作的。本文将包含如下几个部分：软件测试中的静态分析静态代码分析是如何工作的静态代码分析示例 Perforce静态代码分析工具如何提供帮助软件测试中的静态分析阅读全文

posted @ 2022-07-20 16:09 Trinitytec 阅读(465) 评论(0) 推荐(0)

为什么Eclipse Iceoryx使用Helix QAC

摘要：一辆现代化的汽车包含超过1亿行代码。而且，自动驾驶汽车处理传感器数据必须达到10GB/s，才能实时做出对安全至关重要的决策。所有这些数百万行的代码和数千兆字节的数据都必须高效地处理，以减少发生故障和错误的风险。因此，汽车软件开发人员必须为自动驾驶汽车提供安全的进程间通信。这就是Eclipse Ic 阅读全文

posted @ 2022-07-07 14:14 Trinitytec 阅读(218) 评论(0) 推荐(0)

什么是JSF AV C++编码规范?

摘要：联合攻击战斗机空中运载工具C++ (Joint Strike Fighter Air Vehicle C++, 简称JSF AV C++)是由洛克希德·马丁公司(Lockheed Martin)制定的C++编码规范，能够帮助程序员开发适用于安全关键系统的无错误代码。 JSF编码规范包括哪些内容? J 阅读全文

posted @ 2022-06-27 15:31 Trinitytec 阅读(352) 评论(0) 推荐(0)

GitLab SAST：如何将Klocwork与GitLab一起使用

摘要：GitLab SAST是GitLab和Klocwork的结合，GitLab是一种覆盖了整个DevOps生命周期的集成解决方案，Klocwork是一个静态代码分析和应用安全静态测试(SAST)工具。当将这两个工具一起使用时，可以为软件开发团队提供一个强大的GitLab SAST解决方案。这里，我们将阐阅读全文

posted @ 2022-06-22 10:55 Trinitytec 阅读(399) 评论(0) 推荐(0)

什么是圈复杂度?

摘要：圈复杂度是衡量软件质量的一个重要指标。在这里，我们将阐释什么是圈复杂度和圈复杂度McCabe，并提供圈复杂度的示例。本文将包含如下几个部分：什么是圈复杂度? 如何计算圈复杂度McCabe? 两个圈复杂度的示例什么是圈复杂度? 圈复杂度(Cyclomatic Complexity, 简称‘CY 阅读全文

posted @ 2022-06-13 14:27 Trinitytec 阅读(5645) 评论(0) 推荐(0)

MISRA和AUTOSAR将统一C++编码规范——这意味着什么

摘要：C++的使用正越来越多，从联网的自动驾驶汽车到人工智能(AI)等关键的新兴行业都在采用C++这种语言。确保C++代码的安全性仍然至关重要，特别是当C++语言用于安全相关系统的开发时。编写安全、现代的C++将变得更加容易。这是因为两个最流行的C++编码准则——MISRA C++和AUTOSAR准则阅读全文

posted @ 2022-06-06 14:25 Trinitytec 阅读(917) 评论(0) 推荐(0)

什么是误报?如何识别误报和漏报

摘要：不管开发人员技能多么精通，误报和漏报总是会发生，很可能是他们的代码有某种无意的错误或漏洞。为了确保尽早发现这些编码错误和漏洞，开发人员通常使用代码静态分析工具，工具会根据开发人员设置的规则检查代码。然而，代码静态分析工具并不完美，工具有时也会出现误报和漏报。这些编码错误如果没有被捕获，可能会对代码阅读全文

posted @ 2022-05-17 14:28 Trinitytec 阅读(1512) 评论(0) 推荐(0)

如何在Perforce静态代码分析工具中生成合规报告

摘要：确保和验证您的代码库符合特定的编码标准或行业规范可能是一个既困难又耗时的过程。然而，通过使用诸如Helix QAC和Klocwork之类的静态代码分析工具，您可以生成一份合规报告，以查看您的代码库是否合规。本文将包含如下几个部分：为什么合规报告很重要哪些合规报告是可用的如何在Helix QA 阅读全文

posted @ 2022-05-09 12:13 Trinitytec 阅读(323) 评论(0) 推荐(0)

随笔分类 - 静态代码分析