静态检查工具——PClint
简介： pc_lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint for C/C++， pc_lint能够在Windows、MS-DOS和OS/2平台上使用，以二进制可执行文件的形式发布，而FlexeLint 运行 ...
原文：golang 死锁&&静态检查的一些工具
sasha s go deadlock sasha s go deadlock 是死锁检查的一个好工具 dominikh go tools dominikh go tools 是一个静态检查的好工具，可以分析性能以及隐藏的问题 说明 当然以前说的race 以及vet 也都是不错的工具 参考资料 https: github.com dominikh go toolshttps: github.com ...
2020-12-05 22:48 0 834 推荐指数：
相关推荐
Linux避免死锁的一些机制
死锁应该有3个原因： 1.独占资源 2.循环等待 3.不可剥夺 网上看到的4个条件，实际上还是3个，因为请求和等待导致的死锁毕竟有点让人难堪，实际上的死锁多是因为请求等待导致的循环等待。 在用户态，由于Linux提倡进程之间的公平，线程之间甚至没有优先级之分，每个进程/线程都会有机会执行 ...
静态代码检查工具简介
静态代码检查工具简介 在 Java 软件开发过程中，开发团队往往要花费大量的时间和精力发现并修改代码缺陷。传统的代码复审、同行评审，通过人工方式来检查缺陷仍然是一件耗时耗力的事情。Java 静态代码分析（static code analysis）工具能够在代码构建过程中帮助开发人员快速、有效 ...
golang的timer一些坑
本文代码部分基于dive-to-gosync-workshop的代码 Golang 的NewTimer方法调用后，生成的timer会放入最小堆，一个后台goroutine会扫描这个堆，将到时的timer进行回调和channel(下面代码的 c := make(chan Time,1) )写入 ...
一些工具
my hexo blog 实用网站 Paste Me 在线Latex 在线坐标系 在线生成图，树 在线markdown CSDN不登录阅读以及禁广告 对比代码的网站(fc功能) 音乐 ...
静态检查代码工具-source insight scan
sourceinsight-scan 是一款集成在 SourceInsight 中的c/c++代码静态分析插件 用pclint搭建不出来 目前公司用这个了 也挺好用的 可以发现内存泄漏 逻辑错误 数组越界 等这些。 下载地址 https://sourceforge.net/projects ...
Python静态代码检查工具Flake8
简介 Flake8 是由Python官方发布的一款辅助检测Python代码是否规范的工具，相对于目前热度比较高的Pylint来说，Flake8检查规则灵活，支持集成额外插件，扩展性强。Flake8是对下面三个工具的封装： 1）PyFlakes：静态检查 ...
四种java代码静态检查工具
【转载】常用 Java 静态代码分析工具的分析与比较 转载自 开源中国社区 http://www.oschina.net/question/129540_23043 1月16日厦门 OSC 源创会火热 ...