经常会用到C的格式化字符串,gcc/clang的扩展,都是可以进行字符串和可变参数的检测,不匹配,就会爆warning. 自己手写的,需要加上一点代码,否则不会进行检测. 1.  可变参数 void my_printf(const char* format, ...) __attribute__ ((format (printf, 1, 2))) 这里的1, 表示format string所在参数的下标(从1开始); 2表示可变参数开始的下标. 2. va_list void my_print(

[转载]常用 Java 静态代码分析工具的分析与比较 转载自 开源中国社区 http://www.oschina.net/question/129540_23043       1月16日厦门 OSC 源创会火热报名中,奖品多多哦 »   简介: 本文首先介绍了静态代码分析的基本概念及主要技术,随后分别介绍了现有 4 种主流 Java 静态代码分析工具 (Checkstyle,FindBugs,PMD,Jtest),最后从功能.特性等方面对它们进行分析和比较,希望能够帮助 Java 软件开发人员

主要介绍利用java静态代码检查工具findbugs进行代码检查,包括其作用.安装.使用.高级功能(远程review和bug同步). 虽然Android提供了Test Project工程以及instrumentation可以方便的进行单元测试,不过据了解国内Android开发会写自测代码的寥寥无几.那么有没有简单的方法一定程度上保证代码质量呢.Android应用开发大多使用Java,所以对于Java代码检查工具都可以适用,本文介绍其中功能较为强大的findbugs. 1.findbugs作用 f

checkstyle配置的官方网站:http://checkstyle.sourceforge.net/config.html (1)新建maven项目,配置checkstyle插件 pom.xml <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="ht

Shell脚本的静态检查工具shellcheck ubuntu下 apt install shellcheck ,即可安装shellcheck.写完shell脚本,记得用它检查一下,能给你点建议的.要检查现有项目的所有的脚本, find your_project_folder -name "*.sh" | xargs -i shellcheck {} 即可实现批量检查

QtCreator 可以通过 Clang-Tidy 和 CLazy 对你的代码进行静态检查 打开你的工程,点击Analyze -> Clang-Tidy and CLazy 选择你想分析的 cpp, 然后可以点下方 Filter 旁边的 Apply Fixits 按钮修复 这里并不想对 static analyze 展开太多,想具体了解的可以看别人的文章,比如 Qt:在QtCreator中使用Clang-Tidy和Clazy检查C++代码质量 - Jason’s home - CSDN博客​bl

建立的代码规范没人遵守,项目中遍地风格迥异的代码,你会不会抓狂? 通过测试用例的程序还会出现Bug,而原因仅仅是自己犯下的低级错误,你会不会抓狂? 某种代码写法存在问题导致崩溃时,只能全工程检查代码,这需要人工花费大量时间Review代码,你会不会抓狂? 以上这些问题,可以通过静态检查有效地缓解! 静态检查(Static Program Analysis)主要是以不运行程序的方式对于程序源代码进行检查分析的技术,而与之相反的就是动态检查(Dynamic Program Analysis),通过实

vuecli结合eslint静态检查 搭建vue项目开发可能选择vue-cli项目脚手架快速创建vue项目.(https://github.com/vuejs/vue-cli) 安装vue-cli npm install -g vue-cli 这种方式安装比较慢,可以用国内淘宝镜像安装,cnpm,安装cnpm npm install -g cnpm --registry=https://registry.npm.taobao.org 继续安装 cnpm install -g vue-cli vu

Kotlin Android项目静态检查工具的使用 Kotlin Android项目可用的静态检查工具: Android官方的Lint, 第三方的ktlint和detekt. 静态检查工具 静态检查工具, 指不需要运行代码, 对代码进行检查的工具. 不止代码风格, 还可以检查代码的正确性, 是否有安全问题, 是否有性能问题等. 静态检查工具一般都具备可扩展性, 方便使用者制定和添加自己的规则. 比较流行的Java静态检查工具有CheckStyle, FindBugs, PMD等. Android

目录 1. gitlab-ci.yml的配置 1.1 几个基本概念 1.2 使用CI进行代码检查demo 2. Sonarqube安装和配置 2.1 Sonarqube安装 2.2 数据库配置 2.3 sonar-scanner安装 2.4 sonar-cxx插件安装 2.4 启动 2.5 gitlab插件安装 2.6 创建项目 3. Gitlab-CI配置 4. 进阶配置 4.1 规则配置 4.2 阈值设置 4.3 设置自动将扫描结果以评论形式写到gitlab 结语 前两次我们讲了如何配置gi

Clang静态分析和Instruments来剖析代码有一些不同,Clang更致力于在编译的过程中通过自身的一套判断机制来找出代码中潜在的隐患.   在XCode 3.2之后的版本里,Clang已经被集成进来,Static Analysis 是基于 Clang 的非常好的静态代码分析工具.可以从xcode直接运行Static Analysis 分析器.   Static Analysis 优点:   1.使用操作容易.   2.能够在编码阶段,开发自行进行代码检查.早期发现代码隐患.   3.直接

Static Code Analysis(静态代码分析)用来发现源代码潜在的错误与缺陷,源代码编译后只有在运行时有可能会产生细微的错误,他们可能难以识别和修复,所以这些潜在的威胁在开发过程中一定要尽可能清理干净,尽量编写的时候注意类似可能潜在的威胁与缺陷.击查看苹果Static Code Analysis官方介绍) 一.可以识别的问题与缺陷 .逻辑缺陷,如访问未初始化的变量和空指针 .内存管理的缺陷,如分配后的内存泄漏 .无效数据(未使用的变量)缺陷 .使用api缺陷,不遵循库或者框架的使用规则

对于下面这种情况,java c这些提前编译的语言,不给你运行机会就立马报错了,但对于动态语言运行之后才能报错,用运行的方法来检查代码错误是在是太坑了,这是py对比静态语言的巨大劣势,尤其是代码文件多行数较大时候,劣势有些明显. #coding=utf8 import time class A(object): def __init__(self): self.name = 'xiaomin' def fun(): for i in range(100): time.sleep(10) print

Eclipse Version: Oxygen.3a Release (4.7.3a)Myeclipse版本: 10.7 SonarLint 插件离线安装包:org.sonarlint.eclipse.site-2.0.0.20160404-1547-RELEASE.zip 下载地址:https://bintray.com/sonarsource/SonarLint-for-Eclipse/releases/2.0.0 Eclipse离线安装SonarLint Myeclipse离线安装Sona

php7推出了语法树,于是静态语法分析更方便了.(可以直接下载我配置好的,传送门百度网盘) 1.先安装php7,到http://windows.php.net/下载php7带openssl的. 2.修改php.ini, extension=php_openssl.dllextension=php_sockets.dllextension=php_sqlite3.dllextension=php_pdo_sqlite.dll 前面的分号去掉,这一步是为了安装composer. 3.安装compos

Cppcheck is an analysis tool for C/C++code. Unlike C/C++ compilers and many other analysis tools, it doesn’t detect syntax errors. Cppcheck only detects the types of bugs that the compilers normally fail to detect. The goal is no false positives. Cpp

一.插件介绍 FindBugs:静态分析工具,它检查类或者 JAR 文件,将字节码与一组缺陷模式进行对比以发现可能的问题.利用这个工具,就可以在不实际运行程序的情况对软件进行分析.它可以帮助改进代码的质量. CheckStyle:检测代码格式是否规范,命名规范,重复变量,是否有多余的空行,代码注释是否规范: PMD:与FindBugs类似,主要包括:空try/catch/finally/switch语句块未使用的局部变量.参数和private方法,空if/while语句,过于复杂的表达式,如不必

pclint(收费) http://www.gimpel.com/html/pcl.htmpc-lint是资格最老,最强力的代码检查工具,但是是收费软件,并且配置起来有一点点麻烦. ccpchecker http://cppcheck.net/ CppCheck 是免费的开源软件.使用起来也很方便.

With GCC, I can specify __attribute__((format(printf, 1, 2))) , telling the compiler that this function takes vararg parameters that are printf format specifiers. This is very helpful in the cases where I wrap e.g. the vsprintf function family. I can

./lglob ~/ngx/lualib/mvc/*.lua 2>&1 | grep ' set '

Artistic Style(AStyle) AStyle是一款开源.高效.精简的代码格式化工具,适用于C.C++.C#.Java等.官方地址在:http://astyle.sourceforge.net/. AStyle支持Linux.Mac或者Windows,Windows下有预编译的exe文件,其他平台需要自己编译. 输入AStyle -h可以后去AStyle的详细使用介绍: Artistic Style 3.0                     Maintained by: Jim