1 Xcheck介绍 Xcheck是一个由腾讯公司CSIG质量部代码安全检查团队自研的静态应用安全测试(SAST，Static application security testing)工具，致力于挖掘代码中隐藏的安全风险，提升代码安全质量。Xcheck现已支持Golang、Java、Nodejs、PHP、Python 五种语言的安全检查，其他语言支持还在开发中。覆盖漏洞包括S
静态方法(类方法)和实例方法
转载
2023-05-31 12:14:24
124阅读
提高代码的质量，除了要提高逻辑上的控制以及业务流程的理解外，代码本身也存在提高的空间，例如一些潜在的问题可以很早的就避免。类似于编码规范上的内容，如果全靠编码人员进行自行检查，那么无疑需要很大的工作量，如果可以使用代码的静态检查工具进行检查的话，那么将大大的提高编码的效率。本文是提高代码质量系列文章的第二篇，主要介绍了如何使用findbugs工具进行代码的自动化检查，以规避一些潜在的问题并找出代码
一、简介TscanCode支持以下类型规则扫描：空指针检查，包含可疑的空指针；数据越界；内存泄漏，分配和释放不匹配；逻辑错误，重复的代码分支，bool类型和INT进行比较，表达式永远True或者false等共18类检查；可疑代码检查，if判断中含有可疑的=号；运算错误，判断无符号数小于0,对bool类型进行++自增等，共计11类检查。二、安装（linux环境）进入代码仓库：https://gith
转载
2023-07-20 22:31:40
216阅读
一个很好用的静态代码扫描工具 360FireLine静态代码扫描工具有很多，Android Studio 自带的Lint，FindBugs，前两者生成的测试结果报告都是英文版的，对于英文不好的童鞋们来说简直就是煎熬，甚至失去了去追究bug的耐性；但是360作为国内的技术大厂，搞出来这个很好用的工具，生成的结果报告当然是中文了，这些工具bug定位都很准确，帮你把问题定位到某一行，并给出问题描述，空指
在StyleCop中有一些官方自己写好的检测规则，下面就是英文的解释：Documentation Rules 注释规则SA1600：ElementsMustBeDocumented元素必须添加注释SA1601: PartialElementsMustBeDocumented Partial修饰的成员必须添加注释SA1602：EnumerationItemsMustBeDocumented 枚举必须
代码静态检测程序静态分析（Program Static Analysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。目前静态分析技术向模拟执行的技术发展以能够发现更多传统意义上动态测试才能发现的缺陷，例如符号执行、抽象解释、值依赖分析等等并采用数学约束求解工具进行路径约减或
转载
2023-07-05 23:09:43
0阅读
TscanCode介绍TscanCode 是腾讯研发的静态代码扫描工具，最早的版本是基于 cppcheck 二次开发。之后又重新自研，不仅支持 C++，还支持 C#，Lua 语言，在发掘 C++ 空指针、越界、未初始化、C#空引用、Lua变量未初始化等比较有效。TScanCode 比较适用于游戏开发代码扫描，有着不错的准确率和效率，其性能测试可以见：。 TscanCode 主要能够发现的问题如下：
静态扫描Static Analysis 1、能够在编码阶段，开发自行进行代码检查。早期发现代码隐患。2、直接分析源代码来发现程序中的错误，而不需要实际运行。3、自动检测objective-C程序中的BUG，发现内存泄露和其它问题。4、内存问题发现越早，解决的代价就越小。 静态扫描方法 :xcode集成工具xcode下，针对某个project ,点击菜单栏上 Produ
原创
2015-11-03 17:46:25
822阅读
Android和iOS静态代码扫描工具（哆啦安全、知识星球）
原创
2021-12-14 09:31:14
1031阅读
SonarQube社区版-免费适用语言：Java, C#, JavaScript, TypeScript, CloudFormation, Terraform, Kotlin, Ruby, Go, Scala, Flex, Python, PHP, HTML, CSS, XML and VB.NET下载安装 由于实际操作中，JDK版本的限制，8
静态代码扫描存在的价值 研发过程，发现BUG越晚，修复的成本越大 缺陷引入的大部分是在编码阶段，但发现的更多是在单元测试、集成测试、功能测试阶段 统计证明，在整个软件开发生命周期中，30% 至 70% 的代码逻辑设计和编码缺陷是可以通过静态代码分析来发现和修复的 以上三点证明了，静态代码扫描在整个安 ...
转载
2021-08-20 22:44:00
836阅读
2评论
1. why?开发 -> 测试(OA)sonarQube在OA测试之前的步骤,主要用于开发阶段把控代码质量:
a. 祖传级代码如何代码质量检测、优化、重构的标准.
b. 静态代码分析:
(1). 针对开发人员编写的源代码
(2). 在不运行的情况下,仅分析或检查源程序的语法、结构、过程、接口等的正确性,找出代码隐藏的错误和缺陷.2. what? feature?代码质量、安全扫描的分析平台.
介绍一些常用的静态代码扫描工具，由于我也是才使用，可能了解的不全面。另外，以下我说明的代码是使用C语言编写的。1 Flawfinder简介：在源代码中查找潜在的安全缺陷的软件。下载地址：Flawfinder Home Page (dwheeler.com)1）运行环境：Linux，如果要在Windows下使用需要使用Cygwin，Cygwin官网：https://cygwin.com/index.
【摘要】 Coverity是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案，可帮助开发和安全团队在软件开发生命周期 (SDLC) 的早期解决安全和质量缺陷，跟踪和管理整个应用组合的风险，并确保符合安全和编码标准。1. 概述Coverity是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案，可帮助开发和安全团队在软件开发生命周期 (SDLC) 的早期解决安全和质量缺陷，跟踪
Python基础理解（一）一、编译型语言和解释型语言（简单概述个人理解）编译型语言：在执行前先进行编译，编译成机器能够识别的字节码。解释型语言：边翻译代码边执行。理解：编译型是一次性将所有的代码都翻译完。是个急性子的人，一次把事情做完。解释型是个懒惰的人，当需要用的时候再临时翻译，翻译完执行，在翻译在执行。所以编译型是个高效率的人，解释型是个懒惰的人。性格的不同（处理方式不同）造就效率不同问题。（
## Java静态代码扫描
作为一名经验丰富的开发者，你有责任指导和帮助刚入行的小白，特别是在如何进行Java静态代码扫描这样的重要任务上。本文将向你介绍如何实现Java静态代码扫描，并带你逐步完成这个过程。
### 流程图
首先，我们来看一下整个实现Java静态代码扫描的流程。下面是一个简单的流程图，使用mermaid语法中的flowchart TD标识出来：
```mermaid
fl
小伙伴们，美美又来推荐干货文章啦～本文为美团研发同学实战经验，主要介绍Android静态扫描工具Lint、CheckStyle、FindBugs在扫描效率优化上的一些探索和实践，希望大家喜欢鸭。 背景与问题DevOps实践中，我们在CI(Continuous Integration)持续集成过程主要包含了代码提交、静态检测、单元测试、编译打包环节。其中静态代码检测可以在编码规范，代码缺
一、概述在软件开发过程中，开发团队往往要花费大量的时间和精力发现并修改代码缺陷。传统的代码评审、同事复审，通过人工方式来检查缺陷仍然是一件耗时耗力的事情。而静态代码扫描工具能够在代码构建过程中帮助开发人员快速、有效的定位代码缺陷并及时纠正这些潜在的问题。 通过调研，本文将着重介绍几款常用的静态代码扫描工具，这些工具分为几类： 轻量级静态代码扫描工具：Cppcheck、 Tscancode 插件嵌入
转载
2023-08-18 15:28:06
0阅读
Fortify 是一款由 Hewlett Packard Enterprise (HPE) 公司开发的源代码检测工具，Fortify可以检测代码中的安全漏洞和缺陷共900多种，它通过对应用程序的源代码进行静态分析，自动检测安全性漏洞及缺陷。Fortify支持多种编程语言，如 Java、C#、C/C++、Python、Ruby 等20多种语言。在使用
