SonarQube7.3 plugins，离线下载，可直接拷贝到SonarQube安装目录下的plugins文件夹。
2021-10-06 17:12:48
186.32MB
1
集成到source insight中的静态代码分析工具，实际使用能发现一些简单的问题，比如数组越界，没有pclint严格
2021-10-01 01:25:36
3.87MB
1
Cppcheck是一款开源、免费的C/C++代码检查工具，跨平台，操作简单。
内置丰富的默认检查规则，也可以自定义规则。更可以集成在各种IDE（QtCreater/VS/Eclipse/Jenkins等）中方便开发者使用。
官方链接：http://cppcheck.net/
附件是Windows 64-bit (No XP support)安装包，因为网络问题下载了好久才成功，所以分享出来方便遇到跟我一样有困扰的朋友下载。
同时附带几个官方说明文档，便于学习和使用：manual.pdf、cppcheck-design.pdf、writing-rules-1.pdf、writing-rules-2.pdf
相信用过的同学都说会好，当然跟那些付费工具还是有些差别
2021-08-29 20:16:21
10.49MB
1
01 主流白盒思路
02 JVM&DVM
03 CFG构建
04 有限状态机
05 内存模拟
06 污点追踪
2021-08-08 17:00:19
1.85MB
java8
rt.jar源码
WALA-improve
学习wala和静态代码分析,以及涉及到的一些概念。
Study
WALA
and
static
code
analysis
.
This
project
introduces
the
required
knowledge
and
study
roadmap.
数据流分析技术
(Data
Flow
Analysis)
数据流分析是一种程序静态分析技术,它能从程序代码中收集程序的语义信息,并通过代数的方法确定变量的定义和使用。通过数据流分析,可以不必实际运行程序就能
够发现程序运行行为方面的特性,这样可以帮助人们理解程序。数据流分析被广泛用于解决编译优化、程序验证、理解、分片、调试、测试以及并行化等问题。
程序静
态数据流分析是程序测试所采用的一种重要手段。借助于程序静态分析工具,能更直接地暴露和定位程序中的错误。数据流分析作为一种非常重要的程序静态分析技术,
能够在保证软件质量与可靠性方面起到重要的作用.
静态代码分析
(Static
code
Analysis)
静态代码分析是指在不运行代码的方式下，通过词法分析、语法分析、控制流
2021-06-18 14:04:30
3.84MB
1
MC9S12G128分层化模块化架构软件代码的静态代码分析报告，使用QAC工具进行分析，全面深入的对C语言编写水平的提升。该压缩包中为修改后的代码的QAC分析报告。
2021-06-16 10:24:35
30KB
1
一篇以php代码为例，基于抽象语法树、数据流分析、控制流分析、污点分析，发现代码中可能存在的漏洞的论文，按照论文的原理，不仅适用于php代码扫描，同样适用python、java等语言；若加以软件工程技术，可以开发出企业级静态代码安全扫描。
2021-06-15 22:00:09
299KB
1