代码扫描与静态分析

不止女人要保养，代码也是如此。面向对象编程，就是把面对的代码当作对象一样，定期对其进行保养。

一、美颜 Astyle+Source Insight

二、祛痘 cppCheck

三、返老还童 git

四、工欲善其事必先利其器

一、美颜 Astyle+Source Insight

1.1真假小龙女的问题

都说秀色可餐，同样的角色，都是小龙女，但是效果不一样。实现同样的功能，有的代码一目了然，像诗一样赏心悦目；有的却像SHI一样，如下面的代码，虽然功能正常，但看起来什么感觉？

//C语言混乱大赛作品
#include 
main(int t,int _,char* a)
{
    return !0

	 

	正如女人爱美一样，出门必化妆，拍照必美颜；代码也是需要美颜妆扮，除非你期望后来接手者在心中的十万个诅咒，这TM谁写的？尤其对嵌入式系统产品，升级维护周期长，软件的可读性就显得更加重要；代码规范对后续维护升级是大有裨益的。

	1.2 代码格式化

	一般公司不缺编码规范，缺的是执行。小项目单人完成，编码风格随心所欲；大项目团队完成，编码风格各不相同。目前来说，个人只发现go语言是编译时强制格式化，其他语言编译时，不检查排版格式。对于编码规范，不能依靠个人主观，强推工具自动实现才能提高执行力。

	不管编码使用Keil/MDK、Qt等集成工具，或者纯粹的代码编辑工具Source Insight，一般都支持自定义运行可执行文件，如Astyle。可以客制化新菜单，一键执行Astyle，将代码一键格式化，排版统一、层次分明。

	Astyle官网 http://astyle.sourceforge.net/  按要求下载安装，只需要AStyle.exe即可。关于其使用和参数，可以在进入Documentation。对代码基本风格，{}如何对齐、是否换行，switch-case如何排版，tab键占位宽度，运算符或变量前后的空格等等，基本上代码排版涉及的方方面面都有参数说明。个人选择的编码参数是

	 
--style=allman -S -U -t -n -K -p -s4 -j -q -Y -xW -xV fileName


	 

	效果如下

	 
int Foo(bool isBar)
{
    if (isBar)
    {
        bar();
        return 1;
    }
    else
    {
        return 0;
    }
}

	 

	建议先参考文档逐个熟悉作用，确认参数，然后集成到编辑工具，以Source Insight为例。

	1、在选项或者工具下（不同Source Insight版本不同）打开“自定义命令”，添加命令和运行。2、选择正确的路径，结合前面的参数类型，最后必须加上 %f，表示对该文件执行，

	C:AStyle.exe --style=allman -S -U -t -n -K -p -s4 -j -q -Y -xW -xV  %f

	3、将该命令插入到编辑菜单，后续在编辑栏点击Astyle，即可对当前文件自动进行格式化排版。

	1.3 高级配置

	前面只是Source Insight的基础扩展，下面简要说明下高级扩展宏功能，本文只是描述下基本流程。1、配置菜单2、插入之后，在主菜单栏会出现“工作”的菜单,点击Insertifdef，弹出如下对话框3、确定之后自动在光标处插入代码

	 
#if defined (ABCD)

#endif /* ABCD */

	 

	4、不止是支持插入if defined ,还包括插入文件头，对h文件插入避免多次包含的宏，对函数插入注释，以及自动添加编辑时间、作者名称等。这些宏配置和前面一样，至于客制化，比如函数注释的内容、格式等，也是可以自由定义。5、配置路径如下先关闭全部Source Insight工程，再打开Base.PR，编辑utils.em。如前面的宏 Insertifdef就是如下的代码

	 
macro InsertIfdef()
{
 sz = Ask("Enter ifdef condition:")
 if (sz != "")
  IfdefSz(sz);
}

// Wrap ifdef  .. endif around the current selection
macro IfdefSz(sz)
{
 hwnd = GetCurrentWnd()
 lnFirst = GetWndSelLnFirst(hwnd)
 lnLast = GetWndSelLnLast(hwnd)
  
 hbuf = GetCurrentBuf()
 InsBufLine(hbuf, lnFirst, "#if defined (@sz@)")
 InsBufLine(hbuf, lnLast+2, "#endif /* @sz@ */")
}

	 

	如Ask就是弹出提示语，sz获取输入的内容，再InsBufLine插入两行代码。而这些接口的使用说明，只要打开Source Insight的帮助即可查看。Ask说明：例如插入函数注释的代码如下：

	 
 szInf = Ask("你为什么要编写这个函数:")
 szDescription = Ask("请输入函数的使用注意事项和算法实现:") 
 // begin assembling the title string
 sz = "/******************************************************************************"
 InsBufLine(hbuf, ln, sz)
 InsBufLine(hbuf, ln + 1, " *  Function    -  @szFunc@")
 InsBufLine(hbuf, ln + 2, " * ")
 InsBufLine(hbuf, ln + 3, " *  Purpose     -  @szInf@")
 InsBufLine(hbuf, ln + 4, " * ") 
 InsBufLine(hbuf, ln + 5, " *  Description -  @szDescription@")
 InsBufLine(hbuf, ln + 6, " * ")
 InsBufLine(hbuf, ln + 7, " * modification history")
 InsBufLine(hbuf, ln + 8, " * ----------------------------------------")
 InsBufLine(hbuf, ln + 9, " * v1.0  , @szDay@-@szMonth@-@Year@,  @szMyName@  written")
 InsBufLine(hbuf, ln + 10, " * ----------------------------------------")
 InsBufLine(hbuf, ln + 11, " ******************************************************************************/")

	 

	最终自动插入的函数注释显示效果如下：

	 
/******************************************************************************
 *  Function    -  [myFunction]
 *
 *  Purpose     -
 *
 *  Description -  [函数的功能]
 *
 *  modification history
 * ----------------------------------------
 * v1.0  , 22-11-2020,  embedded-system  written   [时间格式可自由设定]
 * ----------------------------------------
*******************************************************************************/


	 

	6、其他宏也是这样，可以自由配置，当然，开启这个功能的第一步是先编辑，替换全部szMyName为自己的名字。有一点需要注意的是插入函数注释时，光标必须在该函数第一个{内，否则无法获取函数名，会提示错误。

	1.4 总结

	Source Insight集成Astyle自动排版，统一风格；集成宏定义，统一注释格式、提高效率。

	二、祛痘 cppCheck

	2.1 祛痘除隐患

	依靠美颜可以掩盖面部瑕疵，如痘痘，但为了极致，应该从根源祛痘，素颜就美，淡妆浓抹总相宜。代码规范整齐，还要没有隐患，大部分开发人员都对警告视而不见，觉得隐患没啥大问题，同样的美女，若是一脸痘痘，颜值瞬间下降。代码也是如此，编译警告如同痘痘，看起来不碍事，实际对代码的质量和后期维护都是隐患，要培养习惯，凡是警告都要消灭的习惯。

	另外对于编码规范，不只是排版布局，还有命名规范，例如宏定义使用小写字母，就必须指出要求修改。所以，代码必须经过祛痘，除去小隐患，严苛的要求，造就趋于完美的代码。但是，依靠人工检查效率低下，静态扫描顺便检查命名规范的神器应运而生。

	代码的静态检测工具有很多，为什么推荐cppCheck？因为它是Qt实现且开源。作为嵌入式软件开发，Qt可以锦上添花，它本身可以多平台运行，平时使用它开发小工具，vwin
验证部分代码，比起在真机编译下载调试快捷方便。

	cppCheck官网http://cppcheck.net/，可以下载执行文件和源码，稍微有Qt基础的，可以下载源码，其Qt工程如下，可以根据自身要求和能力，进行二次开发。实现代码自动格式化和静态分析，可以有效规避软件风险。基于开源的Cppcheck，集成Astyle，结合实际开发平台和编码标准，使用Qt集成的codeCheck诞生了。

	codeCheck执行的流程，先将C语言代码自动格式化，按指定的规则排版对齐，调整代码间空格和间距，特殊语句强制换行或添加括号等，简单操作即可完成代码格式统一化（也就是上一章的配置参数）。然后拆分代码字符，建立token数据库，按预置的规则分析代码是否存在匹配的非法代码，并直观显示风险代码位置以便跟踪修复。codeCheck不具备编译语法分析，因此导入的文件必先确保编译正常，再进行分析才有意义。

	针对实际开发中的问题点，比如变量命名冲突，或者关键变量缺少注释导致维护升级困难，特别增加了个性化扫描标准。由于个人时间和水平有限，工具还存在优化改进的必要，但基本可满足常规应用和新人培养。

	即使没有Qt基础，直接使用开源版本，也是相当给力的，二次开发只是锦上添花而已。

	2.2 代码扫描与静态分析

	个人二次开发后的主界面如下，和原始的cppcheck差不多，只是多了命名规范检查（全局变量必须g_开头，带注释；宏定义、枚举值禁止包含小写字母等）。“分析”导入文件或文件夹后，即可启动自动格式化并分析代码逻辑，显示结果如下：选择“分析结果”栏，则显示扫描出的风险代码，标明风险类型和代码位置，具体显示如下图。

	2.3 源码分析

	非cppcheck源码，二次开发的代码片段。

	 
void CheckThread::run()  //运行扫描，这里是入口
{
 /**/
    QString file = mResult.getNextFile();
    while (!file.isEmpty() && mState == Running) 
    {
        qDebug() << "format file" << file;
        file_format(file);//添加Astyle命令
        mCppcheck.check(file.toStdString());
     /**/
     }
     /**/

//astyle.exe v3.1  添加代码格式化
void CheckThread::file_format(const QString file)
{
    QProcess builder;
    QStringList param;

    param<<"--style=allman"<<"-S"<<"-U"<<"-t"<<"-n"<<"-K"<<"-p"<<"-s4"<<"-j"<<"-q"
        <<"-Y"<<"-xW"<<"-xV"<

	 

	三、返老还童 git

	3.1 月光宝盒

	爱情不可期，往事成追忆。至尊宝可以使用月光宝盒穿越时空去寻找爱情。对于女人，拥有月光宝盒，即使容颜衰老，也可以回到过去，返老还童，永葆青春。

	对于程序员，一份完美的代码，修修补补，几经折腾终于封板；因为保存不善或者修改记录丢失，那种痛苦也是一般人无法想象的。为了不会有失去才后悔莫急的痛楚，必须使用版本控制来追溯代码的过去，程序员的月光宝盒就是Git神器。

	3.2 版本控制git

	不必说你有多聪明，每天拷贝一份代码加描述备份；也不要说以往的svn等工具有多先进；这些工具在git的分布式软件版本控制面前，都不值一提，虽然Git也有缺点，但是依然不能掩盖它的光芒。

	十年来，一直是嵌入式软件开发，80%的时间使用windows版的git可视化操作，相比命令行，更容易掌握与使用，查看版本记录也更加直观，命令行的操作方式不在本文考虑范围。git官网https://git-scm.com/。

	1、安装TortoiseGit-2.5.0.0-64bit.msi 一路下一步，这只是安装了git的内核功能，要在windows下操作，需要安装界面外壳。

	2、安装GitExtensions-2.50.02-SetupComplete.msi   或者  Git-2.15.0-64-bit.exe，这是两种风格的界面，主体功能差不多，个人选择的是后者。也可以两个都安装。

	3、安装过程中出现较多的配置，所有选项中，全部都选带windows关键字的，否则用起来看不出问题，但是保存的记录异常。

	既然是界面操作，就开启鼠标右键的快捷图标。后续一些安装选项，全部选带windows关键字的。4、安装完成后，鼠标右键，会出现 Git GUI Here。5、如果是新手可安装汉化补丁TortoiseGit-LanguagePack-2.5.0.0-64bit-zh_CN.msi，建议不要安装，翻译有点搞笑（rebase-变基）。

	3.3 基础演示

	1、配置2、创建本地版本库，git creat repository here,默认操作，即可创建版本，会在test空文件夹下生成.git 。 

	3、在test下随便改动，如新加123.txt，提交改动。此时鼠标右键4、保存本次修改后，使用Git GUI Here->Repository->Visualize master's History查看全部版本记录。5、通用配置和常用功能

	3.4 总结

	Git的使用尤其是多人合作，注意以下几点：

	1、推送服务器前先同步；

	2、2个分支版本有冲突，先rebase解决；熟练操作前不要使用merge；

	3、版本节点不能使用中文，修改描述可以；

	4、编译自动生成的不要提交，可以使用TortoiseGit-->Delete and add in ignore list，滤指定的文件，即使有改动也不提交；

	5、Git自带的比较工具比较差，可以配置使用外部比较工具。一共三处，将Diff viewer和Merge Tool改为HA-BCompare。这个工具的比较功能强大，显示界面清晰。

	四、工欲善其事必先利其器

	工欲善其事必先利其器，工具的熟练掌握、合理利用。代码规范化，静态扫描排除风险，修改记录保存完整，如此，才能保证代码的质量。

	原文标题：代码的保养

	文章出处：【微信公众号：strongerHuang】欢迎添加关注！文章转载请注明出处。　　

	      审核编辑：彭静

阅读全文

编程(92185) 编程(92185)
代码(66456) 代码(66456)

LED显示屏(第一部分):静态与动态扫描

目前市场上LED显示屏的驱动方式有静态扫描和动态扫描两种,静态扫描又分为静态实像素和静态虚拟，动态扫描也分为动态实像和动态虚拟.

2012-03-22 09:31:41

1885

静态时序的分析原理及详细过程

静态时序分析是检查IC系统时序是否满足要求的主要手段。以往时序的验证依赖于仿真，采用仿真的方法，覆盖率跟所施加的激励有关，有些时序违例会被忽略。此外，仿真方法效率非常的低，会大大延长产品的开发周期

2020-11-25 11:03:09

8918

基本共射放大电路的组成、静态分析及动态分析

　　　分析基本共射放大电路的需要从静态和动态分析，静态指的是“直流通路在直流电源作用下直流电流流经的通路”，用于研究静态工作点，动态指的是“交流通路是输入信号作用下交流信号流经的通路”，用于研究动态参数，分析动态需要使用h参数分析。

2023-01-12 11:38:19

7858

LTspice的常用的几种电路分析功能和操作

。 ” 01 — 直流分析直流分析是最基本的分析功能，可以分析直流电压源和电流源作用于电路的工作状态。它包括静态工作点分析、直流扫描分析、直流传输特性分析。 1.1 静态工作点分析静态工作点分析可以计算各节点的电压和各元件的电流，输出的是文本

2023-11-03 16:16:24

4859

扫描代码

labview中事件结构中的事件数据节点下的扫描代码是怎么回事{:11:}

2013-04-18 10:56:30

静态工作点分析

三极管放大电路中的基本分析：直流静态工作点分析。

2012-08-03 11:12:24

静态时序分析STA的优点以及缺点分别有哪些呢

静态时序分析STA是什么？静态时序分析STA的优点以及缺点分别有哪些呢？

2021-11-02 07:51:00

静态时序分析与逻辑设计

2017-12-08 14:49:57

IAR静态分析工具的主要特点有哪些

IAR静态分析工具的主要特点有哪些？IAR静态分析工具有何作用？

2022-01-27 06:54:28

LED显示屏扫描方式差异分析（动态和静态）

从驱动IC的输出脚到像素点之间实行“点对点”的控制叫做静态驱动，从驱动IC输出脚到像素点之间实行“点对列”的控制叫做扫描驱动，他需要行控制电路：从驱动板上可以很清楚的看出：静态驱动不需要行控制电路

2012-12-12 16:10:55

Multisim直流扫描分析

　　直流扫描分析是计算电路中某一节点直流工作点随着电路中一个或两个直流电源数值变化情况。在分析前，可以选择直流电源的变化范围和增量。在直流扫描分析时，电路中的所有电容视为开路，所有电感视为短路

2023-04-27 14:48:48

Multisim软件之交流扫描分析

　　交流扫描分析　　交流扫描分析是在正弦小信号工作条件下的一种频域分析。它可以计算电路的幅频特性和相频特性，是一种线性分析方法。　　Multisim 软件在进行交流频率分析时，首先分析电路的直流

2023-04-27 16:15:27

PSoC Creator有没有静态代码分析器工具已经集成？

嗨，大家好，我目前正在使用PSoC Cial4.0。有没有静态代码分析器工具已经集成？如果是这样的话，我怎么用呢？当做以上来自于百度翻译以下为原文Hi all, I'm currently

2018-12-12 14:55:15

[求助]静态时序分析与时序仿真?

自己做了一个工程，静态时序分析的结果CLK信号的SLACK是负值（-7.399ns），书上说该值是负值时说明时序不对，但是我感觉时序仿真的结果是对的。是不是时序仿真波形正确就不用管静态时序分析的结果了？请高手指点

2010-03-03 23:22:24

【分享】静态时序分析与逻辑设计华为出品

静态时序分析与逻辑设计

2015-05-27 12:28:46

华为静态时序分析与逻辑设计

2014-05-20 22:55:09

如何使用clung进行静态代码分析？

您好，我正在为 ESP32 使用 esp-idf-v4.4.2。我想对我的代码应用静态代码分析。但是当我运行 idf.py clang-check 时。我得到这样的错误。请检查并分享您的建议以使

2023-04-13 08:55:32

嵌入式软件使用c语言编程，μC/OS-II系统，用什么静态分析...

嵌入式软件使用c语言编程，μC/OS-II系统，代码在10万行以内，请问各位大神用什么软件做静态分析好

2013-04-24 17:07:56

市面上595和74HC138控制的16*16点阵可以实现静态扫描吗？

`如题，因为我对亮度有需求，所以希望使用静态扫描点亮LED，请问这种点阵可以实现静态扫描吗？静态扫描的程序应该是怎样的？`

2015-07-01 20:45:26

开关的传递函数：状态空间平均法静态分析

上一章为导出适用于降压、升压、升降压所有模式的传递函数，介绍了“状态空间平均法”。本章将以导出的公式为基础进行静态分析。由于需要使用上一章的公式，因此结合上一章的内容会更容易理解。静态分析第一行为上

2018-11-30 11:44:39

放大电路的动静态分析求教

先大概对问题进行一下描述，共发射极基本交流放大电路如下图。然后可以得到上面这幅图的直流和交流通路如下面两幅图。下面是问题：静态分析就是先根据左图确定静态工作点，然后用右图在确定静态工作点的前提

2017-01-13 15:27:50

数码管的动态扫描与静态扫描的区别。各位大师给个详解

2013-10-07 13:07:01

键盘扫描静态数码管显示的相关资料推荐

简单键盘扫描静态数码管显示总结一、矩阵按键扫描程序采用行列翻转扫描void Key_Scan()//行列翻转式扫描{ uchar a; KEY=0x0F; if(KEY!=0x0F) {Delayms(10);...

2022-01-07 07:29:54

Klocwork — 符合功能安全要求的自动化静态测试工具

Klocwork工具应用静态分析技术，可实现对C、C++、Java等代码的全面静态分析。检查问题种类既包含软件质量和安全缺陷相关，也可实现

2021-07-07 11:04:05

Klocwork — 符合功能安全要求的自动化静态测试工具

Klocwork工具应用了静态分析技术，可实现对C、C++、Java、C#、python等代码的全面静态分析。检查问题种类既包含软件质量和安全缺陷相关，也可实现多种语言编码规则规范的检查。通过

2022-05-18 10:44:25

Helix QAC 企业级代码静态测试工具

前言随着现代车辆的智能化发展（ADAS, Telematics, Infotainment, Cloud Services），车载代码量呈指数级增长，代码静态分析的自动化势在必行，且人们对功能安全

2022-07-25 16:16:11

基于数据融合的源代码静态分析

采用数据融合技术对源代码进行静态分析，实现可扩展的原型系统。对现有静态分析工具的分析结果进行解析和数据融合，并对相应的参数进行估计。为便于读取和分析输出结果，

2009-04-13 08:57:38

软件安全漏洞的静态检测技术

软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则

2009-04-20 09:38:37

Klocwork——支持DevOps和功能安全/信息安全的静态代码分析器

Klocwork是一款现代、灵活的静态代码分析器，适用于C、C++、C#、Java、JavaScript、Python和Kotlin的静态检测，可以识别软件中的潜在缺陷，在开发最前期保证

2022-12-03 18:06:22

C++静态分析中对泛型构件的识别与表示方法

本文从C++静态分析的角度出发，介绍了模板和泛型构件技术、一个C++静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML 的泛型构件的表示方法。[关

2009-08-17 11:16:55

静态时序分析与逻辑（华为内部培训资料）

静态时序概念，目的静态时序分析路径，方法静态时序分析工具及逻辑设计优化

2010-07-09 18:28:18

129

KLOCWORK INSIGHT:C#源代码分析

开发人员使用KLOCWORK久经验证的静态源代码分析工具来协助他们编写更好的代码。通过提供一个完全自动化的跨过程控制流、数据流、值范围传播和符号逻辑分析，KLOCWORK可以发现C#,C/

2011-04-04 21:54:27

全面、深入的软件源代码静态分析方案

KLOCWORK INSIGHT是业内唯一桌面源代码分析的快速高效性与系统分析的强大功能及准确性优点相结合的软件静态分析解决方案。在桌面开发环境上使用KLOCWORK INSIGHT工具，开发人员可以快速

2011-04-04 22:53:44

静态代码分析器

Fortify的静态代码分析器（Static Code Analyzer,SCA）是组成Fortify 360的三个分析器之一。SCA工作在开发阶段，以用于分析应用程序的源代码是否存在安全漏洞。这种类型的分析与程序跟踪分析

2011-04-07 20:32:46

C/C++源代码静态监测设计实现

为了检测出C/C++源代码程序中常见的运行时错误，设计了一个静态检测系统。该系统通过词法分析、语法分析、语义分析来获取程序的语法树。然后系统的检测程序将会分析语法树的每

2011-06-21 15:06:24

Helix QAC自动化静态测试#QAC #代码静态测试 #自动化

静态测试

北汇信息POLELINK发布于 2022-12-06 08:49:27

静态时序分析在IC设计中的应用

讨论了静态时序分析算法及其在IC 设计中的应用。首先,文章讨论了静态时序分析中的伪路径问题以及路径敏化算法,分析了影响逻辑门和互连线延时的因素。最后通过一个完整的IC 设计

2011-12-20 11:03:16

Multisim温度扫描分析在模拟电子技术的应用

为了讨论温度对模拟电子电路的影响，采用Multisim10仿真软件中的温度扫描分析进行仿真，分析了温度对放大电路的静态工作点以及输出波形的影响，同时验证了负反馈对提高放大电路稳

2012-11-09 15:42:50

[代码整洁之道].(美)马丁.扫描版

德赢Vwin官网网站提供《[代码整洁之道].(美)马丁.扫描版.txt》资料免费下载

2013-02-06 16:47:30

[扫描电镜与能谱仪分析技术].张大同.扫描版

德赢Vwin官网网站提供《[扫描电镜与能谱仪分析技术].张大同.扫描版.txt》资料免费下载

2013-04-29 20:47:15

课题三_基本共射极放大电路的组成和静态分析(2学时)

基本共射极放大电路的组成和静态分析基本共射极放大电路的组成和静态分析

2015-11-13 17:00:21

德国mk代码分析

德国mk代码分析德国mk代码分析德国mk代码分析

2016-01-15 17:03:02

静态时序分析基础及应用

_静态时序分析（Static_Timing_Analysis）基础及应用[1]。

2016-05-09 10:59:26

华为静态时序分析与逻辑设计

华为静态时序分析与逻辑设计，基础的资料，快来下载吧

2016-09-01 15:44:10

静态时序分析基础及应用

2017-01-24 16:54:24

linux静态库和动态库分析

库的二进制是不兼容的。本文仅限于介绍linux下的库。 2.库的种类 linux下的库有两种：静态库和共享库（动态库）。二者的不同点在于代码被载入的时刻不同。静态库的代码在编译过程中已经被载入可执行程序，因此体积较大。共享库的代码是在可执行程序运行时才载入内存的，

2017-11-02 10:12:15

使用VHDL设计的数码管扫描源代码免费下载

本文档的主要内容详细介绍的是使用VHDL设计的数码管扫描源代码免费下载。

2019-10-28 11:50:52

使用C语言实现静态网页的代码免费下载

本文档的主要内容详细介绍的是使用C语言实现静态网页的代码免费下载。

2019-11-22 16:20:15

华为FPGA硬件的静态时序分析与逻辑设计

本文档的主要内容详细介绍的是华为FPGA硬件的静态时序分析与逻辑设计包括了：静态时序分析一概念与流程，静态时序分析一时序路径，静态时序分析一分析工具

2020-12-21 17:10:54

机器学习进行静态分析的步骤

机器学习和人工智能这两种技术在许多领域广泛应用，尤其是在营销分析和网络安全方面，它们在这些领域的成功应用促使有些人试图将它们用于所有方面。这其中包括使用机器学习系统创建用于定位安全漏洞的静态代码分析器。

2020-12-28 16:08:12

1699

FPGA的静态时序分析详细讲解分析

任何学FPGA的人都跑不掉的一个问题就是进行静态时序分析。静态时序分析的公式，老实说很晦涩，而且总能看到不同的版本，内容又不那么一致，为了彻底解决这个问题，我研究了一天，终于找到了一种很简单的解读办法，可以看透它的本质，而且不需要再记复杂的公式了。

2021-01-12 17:48:08

时序分析的静态分析基础教程

本文档的主要内容详细介绍的是时序分析的静态分析基础教程。

2021-01-14 16:04:00

五个程序员必知的静态分析工具推荐

目前，市面上有许多代码分析工具，但昂贵的费用对于初创公司和个人来说有些难以承受。但以下的免费静态分析工具可以帮助到你。

2021-04-05 17:22:00

5584

多路水听器参数扫描测试分析设备综述

2021-06-19 12:01:01

Axivion静态代码分析工具已通过认证服务

Axivion静态代码分析工具已通过SGS-TÜV Saar的ISO 26262、IEC 61508以及IEC 62304的认证服务，具备了在汽车电子、健康医疗等领域内以安全为关键的软件项目

2021-08-18 14:55:44

5485

您的嵌入式开发团队的静态代码分析工具是什么？这份指南你一定需要

所有的静态分析工具从50,000英尺高空看去往往都是一样的。当计划部署静态分析时，重要的是选择一个适合组织需求的解决方案，并能随着未来的需求而增长。一个工具应该具备的特点和能力可以分成两组。第一组

2021-11-02 19:06:04

IAR静态代码分析工具

前言IAR集成了C-STAT静态分析工具，主要通过对源代码等级进行分析来发现代码中的潜在问题，除了提高代码质量外，还有助于提高代码的规范如有异议，请指正主要特点C/C++代码分析检查是否符合

2021-12-03 10:36:08

MPC82系列MCU的键扫描和断电示例代码

MPC82系列MCU的键扫描和断电示例代码免费下载。

2022-07-01 10:28:52

Klocwork静态分析工具的主要功能及应用行业

2022-05-18 17:40:37

1895

利用正确的静态分析实现应用

　　一些静态分析模式可以在运行时检测缺陷。如果嵌入式目标可以容纳开销，则组织应执行运行时静态分析以完善其预防策略。运行时静态分析在代码实际运行时检测错误，这使软件工程师能够使用真实数据测试真实路径。

2022-06-19 07:23:00

733

利用医疗设备软件的静态代码分析

　　如果使用得当，静态分析已被证明在提高安全关键代码的软件质量方面非常有效。尽管不严格要求批准，但 FDA 承认其有效性。

2022-06-19 10:07:01

827

静态分析有助于代码可移植性

　　在项目生命周期中尽早采用静态分析将确保尽早验证遗留代码，并确保任何新代码从一开始就可移植。通过缩短开发时间和显着降低残留缺陷水平，开发人员可以快速收回使用此类工具所涉及的初始支出。

2022-06-28 11:56:36

619

在寻求无错误软件的过程中增强静态代码分析

　　采用静态分析等现代开发人员测试方法是嵌入式软件行业的一个积极趋势。该技术已经成熟到可以成为软件工程师武器库中强大武器的程度。

2022-06-28 15:58:58

471

高级静态分析符合基于合约的编程

　　静态分析和基于合同的编程之间的协同作用可能允许更快地采用这两种技术。随着这两者的集成，一种新的编程方法可能会出现，程序员的助手会在创建源代码时帮助推断和检查合同。

2022-07-04 15:14:54

445

利用医疗设备软件的静态代码分析

　　静态分析将提供各种类型的错误，从必须解决的关键问题到警告。一些组织希望投机取巧，只为可证明的错误更改代码。其他人则主动清理代码并提高质量，甚至“修复”警告。团队应该在处理静态分析结果的方式上保持一致。审查结果、培训/指导和频繁的沟通是成功的关键。

2022-07-09 07:13:00

471

双极性晶体管的静态分析

上篇对双极性晶体管的放大作用做了一下简单分析，知道了要实现放大作用，不但静态下要满足条件，动态下也对电路有所要求。本篇就介绍一下关于静态分析的相关内容。

2022-08-14 16:39:07

1849

芯片设计之PLD静态时序分析

另一种是手动的方式，在大型设计中，设计人员一般会采用手动方式进行静态时序分析。手动分析方式既可以通过菜单操作（个人理解：通过鼠标点击和键盘输入）进行分析，也可以采用Tcl脚本（工具控制语言，个人理解运用代码控制）进行约束和分析。

2022-08-19 17:10:25

1354

静态分析中的自动执行是否提供所需

　　软件开发活动应包括源代码审查，以提高软件质量并防止或消除软件缺陷，静态分析工具可以自动化该活动的重要部分，同时降低其成本。代码审查通常基于定义应识别和纠正哪些违规或缺陷的编码标准和/或检查表进行。

2022-09-10 15:26:00

394

静态分析：对代码质量至关重要

　　让我们从显而易见的事情开始：静态分析本身并不是灵丹妙药。它不能保证复杂的军事嵌入式应用程序中的高代码质量、安全性或安全性。静态分析也不能确保您的应用程序满足为程序定义的功能要求。

2022-11-01 09:30:37

383

什么是静态分析？如何管理早期静态分析报告

简单来说，静态分析是在不执行代码的情况下检查源代码和二进制代码的过程，通常用于查找bug的前期准备或评估代码质量。与需要运行程序的动态分析（例如Parasoft Insure ++）不同，静态分析可以直接分析源代码而不需要执行源代码。

2022-11-01 11:35:09

2510

静态分析可提高效率，降低下游集成成本

静态分析像编译器一样机械而精确地检查代码。但是，静态分析器不会盲目地将代码转换为可执行程序，而是查找代码功能与开发人员最初预期的工作方式不同的路径。静态分析可以通过模式匹配等简单技术或过程间数

2022-11-08 10:53:06

517

静态分析：对代码质量至关重要

2022-11-08 14:10:47

473

基于虚拟机技术的静态代码审计系统设计

基于有限状态自动机的静态代码污点追踪的实现 DVM&. JVM字节码的对比讲解过程内信息流跟踪&污点分析

2022-11-10 10:54:07

404

静态链接和静态库

所谓静态链接，就是把库实现的代码整合到最终的二进制文件中，这样的二进制文件会比较大，因为里面既包含了自己写的代码，又包含了调用的库的代码。

2023-02-08 14:17:12

612

共射极放大电路的静态分析步骤静态工作点调整方法

　　共射极放大电路的静态分析是指对该电路在直流偏置下的电性能进行分析。静态分析的目的是确定晶体管的静态工作点，即晶体管在偏置电路下的电流和电压值，从而保证电路在稳定工作的状态下能够有效放大输入信号。

2023-02-27 11:10:31

7327

静态分析工具

Analyzer`:Clang Static Analyzer是一款静态代码扫描工具，专门用于针对C，C++和Objective-C的程序进行分析。已经被Xcode集成，可以直接使用Xcode进行

2023-03-02 17:53:24

2002

解读FPGA的静态时序分析

任何学FPGA的人都跑不掉的一个问题就是进行静态时序分析。静态时序分析的公式，老实说很晦涩，而且总能看到不同的版本，内容又不那么一致，为了彻底解决这个问题，终于找到了一种很简单的解读办法，可以看透

2023-03-14 19:10:03

443

静态分析和动态分析的区别

静态分析和动态分析是一种双管齐下的方法，可以在可靠性、错误检测、效率和安全性方面改进开发过程。为什么它们都很重要?它们又有什么区别呢？

2023-05-16 16:03:54

3609

Linux内核代码的静态检查

Linus在2004年开发了kernel代码静态检查工具，可以检查出kernel中潜在的风险代码

2023-06-05 14:50:16

651

AbsInt — 确保代码安全的静态性能分析工具

德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商。能够为客户提供较完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品

2022-03-10 11:48:57

259

【技术分享】代码可以静态分析，PCB可以吗？

软件代码有bug，可以通过人工查找，也可以通过编译发现，同时也可以通过代码静态分析工具找到错误或警告。人工查找代码bug，显然不合理，除非只有几十行代码的项目。通过编译器（IDE）编译查找代码bug

2022-03-21 09:34:10

250

AbsInt — 确保代码安全的静态性能分析工具

2022-03-10 10:25:35

430

Harmony系统代码的静态测试

本文通过使用静态分析工具QAC，来分析测试Harmony系统代码对汽车行业内常用编码规范的遵循情况。

2022-08-01 14:22:57

698

什么是完备静态分析？

在开发安全、可靠和合规的软件时，完备静态分析是一种有益的实践。本篇文章中，我们将讨论完备分析与静态分析的不同之处，为什么它很重要，以及完备静态代码分析的工作原理。

2022-11-11 10:16:26

369

面对CI/CD分析的代码静态测试工具Klocwork 2023.1版本更新快讯

Klocwork 2023.1为CI/CD分析pipeline引入灵活的管理选项。使用差异分析加速静态分析扫描, 在CI/CD管道构建中提供上下文结果，并可以用和服务器端相同的方式管理issue。

2023-04-17 12:03:43

617

静态时序分析的相关概念

本文主要介绍了静态时序分析 STA。

2023-07-04 14:40:06

528

什么是静态代码分析？静态代码分析概述

静态分析可帮助面临压力的开发团队。高质量的版本需要按时交付。需要满足编码和合规性标准。错误不是一种选择。这就是开发团队使用静态分析工具/源代码分析工具的原因。在这里，我们将讨论静态分析和使用静态代码分析器的好处，以及静态分析的局限性。

2023-07-19 12:09:38

845

静态代码块、构造代码块、构造函数及普通代码块的执行顺序

在Java中，静态代码块、构造代码块、构造函数、普通代码块的执行顺序是一个笔试的考点，通过这篇文章希望大家能彻底了解它们之间的执行顺序。 1、静态代码块 ①、格式在java类中（方法中不能存在静态

2023-10-09 15:40:56

370

分享一款不错的嵌入式静态代码扫描工具

之前给大家分享过嵌入式开发常用的代码静态分析工具，比如：PC-lint、LDRA、VectorCAST等。

2023-10-16 15:39:00

867

差示扫描量热法热分析方法

差示扫描量热法（DSC）是一种热分析方法，在程序控制温度下，输入到试样和参比物的功率差与温度的关系。而差示扫描量热仪是利用这种方法，来测量材料的玻璃化转变温度、熔点、比热容和氧化诱导期，来对材料

2023-11-21 13:37:56

376

LED贴膜屏静态扫描和动态扫描有何区别？

LED贴膜屏静态扫描和动态扫描有何区别？ LED贴膜屏静态扫描和动态扫描是两种不同的驱动方式，它们在显示效果、功耗、刷新率、图像质量等方面存在一些区别。下面我将详细介绍这两种扫描方式，帮助你了解它们

2023-12-11 14:25:56

448

TorchFix:基于PyTorch的代码静态分析

TorchFix是我们最近开发的一个新工具，旨在帮助PyTorch用户维护健康的代码库并遵循PyTorch的最佳实践。首先，我想要展示一些我们努力解决的问题的示例。

2023-12-18 15:20:07

686

GitHub推出新功能：智能扫描代码潜在漏洞

“代码扫描”功能还能预防新手引入新的问题，并支持在设定的日期和时间进行扫描，或者让特定事件（如推送到仓库中）触发扫描。若AI判定代码内可能存在隐患，GitHub将在仓库中发出预警，待用户修正引发求救信号的部分后，再撤销警告。

2024-03-21 14:55:51

已全部加载完成

搜索历史

代码扫描与静态分析

评论