点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 代码静态检测
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
splint-3.1.2.src.tgz
unix下的代码静态接测工具,以前貌似是gcc的一个组件,后来分离了出来,其实是很有用的工具,静态检测能发现很多隐藏的问题,经过检测没有警告的程序质量是有保证的。 开源是一种精神
所属分类:
C
发布日期:2012-06-04
文件大小:2mb
提供者:
hxl_c0s0d0n
java代码静态检测规则
java 代码静态检测120条 类似于sonar 检测规范很棒
所属分类:
Java
发布日期:2012-11-16
文件大小:129kb
提供者:
zhaolixin007
cppcheck.hpi 1.9
cppcheck hudson C++代码静态检测报告分析插件
所属分类:
C++
发布日期:2013-03-15
文件大小:1mb
提供者:
qq251788049
cppcheck1.59
cppcheck1.59,c++代码静态检测工具
所属分类:
C++
发布日期:2013-05-02
文件大小:5mb
提供者:
zhuzhengyiioa
pclint代码静态分析软件说明
这是一篇介绍代码静态检测的工具文档,对熟悉pclint工具软件的使用有帮助
所属分类:
C
发布日期:2013-05-21
文件大小:394kb
提供者:
u010146557
PClint代码静态检测工具
这是一篇介绍代码静态检测的工具文档,对熟悉pclint工具软件的使用有帮助
所属分类:
C
发布日期:2013-05-21
文件大小:198kb
提供者:
u010146557
pclint静态代码检查工具
这是一篇介绍代码静态检测的工具文档,对熟悉pclint工具软件的使用有帮助
所属分类:
C
发布日期:2013-05-21
文件大小:775kb
提供者:
u010146557
PCLINT代码静态检测工具软件
这是一篇介绍代码静态检测的工具文档,对熟悉pclint工具软件的使用有帮助
所属分类:
C
发布日期:2013-05-21
文件大小:506kb
提供者:
u010146557
Android恶意代码的静态检测研究
Android恶意代码的静态检测研究的论文,值得一看。
所属分类:
网络安全
发布日期:2015-04-13
文件大小:2mb
提供者:
xpzhanglz
Sonarqube静态代码分析工具 5.2.0最新版 Part1
Sonar简介 Sonar是一个用于代码质量管理的开源平台,用于管理源代码的质量,可以从七个维度检测代码质量 通过插件形式,可以支持包括java,C#,C/C++,PL/SQL,Cobol,JavaScrip,Groovy等等二十几种编程语言的代码质量管理与检测 sonarQube能带来什么? Developers' Seven Deadly Sins 1.糟糕的复杂度分布 文件、类、方法等,如果复杂度过高将难以改变,这会使得开发人员难以理解它们, 且如果没有自动化的单元测试,对于程序中的任何
所属分类:
其它
发布日期:2015-04-23
文件大小:47mb
提供者:
dreaminsun
Sonarqube静态代码分析工具 5.1.0最新版 Part2
Sonar简介 Sonar是一个用于代码质量管理的开源平台,用于管理源代码的质量,可以从七个维度检测代码质量 通过插件形式,可以支持包括java,C#,C/C++,PL/SQL,Cobol,JavaScrip,Groovy等等二十几种编程语言的代码质量管理与检测 sonarQube能带来什么? Developers' Seven Deadly Sins 1.糟糕的复杂度分布 文件、类、方法等,如果复杂度过高将难以改变,这会使得开发人员难以理解它们, 且如果没有自动化的单元测试,对于程序中的任何
所属分类:
其它
发布日期:2015-04-23
文件大小:36mb
提供者:
dreaminsun
asp.net学习积累的代码段
包括以下文档: Asp.Net中使用水晶报表 javascr ipt提示类 分页 类 数据绑定 数据库方面 文件操作 验证码 ASP.NET 2.0高级控件之FileUpload控件.txt ASP.NET 程序中常用的三十三种代码.txt asp.net使用客户端验证.txt Asp.net中基于Forms验证的角色验证授权).txt asp.net中如何用c#实现弹出式的交互对话窗口.txt cookie登陆判断.txt CSharp基本书写规范.doc CustomValidator可以
所属分类:
C#
发布日期:2009-04-06
文件大小:116kb
提供者:
freenet999
coverity手册
coverity是一款代码漏洞扫描工具 Coverity代码静态检测工具
所属分类:
IT管理
发布日期:2018-03-01
文件大小:3mb
提供者:
liujialin000
Java代码检查和bug分析工具
这里列出了3种Java静态分析工具,每一种工具关注一个特定的能发挥自己特长的领域,我们可以列举一下: Java代码检查工具 PMD Pmd 它是一个基于静态规则集的Java源码分析器,该软件功能强大,扫描效率高,是Java程序员debug的好帮手。 它可以识别出潜在的如下问题: – 可能的bug——空的try/catch/finally/switch块。 – 无用代码(Dead code):无用的本地变量,方法参数和私有方法。 – 空的if/while语句。
所属分类:
其它
发布日期:2020-12-22
文件大小:292kb
提供者:
weixin_38669091
一种C/C++代码安全静态检测模型
目前在对C/C++漏洞的检测,研究比较深入的是针对源代码的静态扫描技术,主要的静态分析方法有以下几类。 词法分析:是早被用来进行缓冲区溢出漏洞检测的方法。这种方法是对软件源程序进行扫描分析,同时与特征库进行匹配,进而找出软件程序中可能存在的溢出漏洞。这种方法的局限性在于容易产生漏报或误报,并且它也不能理解软件程序的语义。因此需要进一步的进行上下文分析 约束分析:通过产生、求解程序的约束条件,约束分析即可确定程序的性质。约束分析方法建立的局部化约束产生的规则能清楚的描述指令副作用乃
所属分类:
其它
发布日期:2020-12-22
文件大小:180kb
提供者:
weixin_38750861
Java静态检测工具的简单介绍
静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等,主要检查代码和设计的一致性,代码对标准的遵循、可读性,代码的逻辑表达的正确性,代码结构的合理性等方面;可以发现违背程序编写标准的问题,程序中不安全、不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 检查等内容。”。看了一系列
所属分类:
其它
发布日期:2021-03-23
文件大小:71kb
提供者:
weixin_38557530
Java静态检测工具的简单介绍
静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等,主要检查代码和设计的一致性,代码对标准的遵循、可读性,代码的逻辑表达的正确性,代码结构的合理性等方面;可以发现违背程序编写标准的问题,程序中不安全、不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。”。看了一系列的静态
所属分类:
其它
发布日期:2021-03-02
文件大小:139kb
提供者:
weixin_38680492
Java静态检测工具的简单介绍
静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等,主要检查代码和设计的一致性, 代码对标准的遵循、可读性,代码的逻辑表达的正确性,代码结构的合理性等方面;可以发现违背程序编写标准的问题,程序中不安全、不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 检查等内容。”。看
所属分类:
其它
发布日期:2021-01-31
文件大小:120kb
提供者:
weixin_38693589
面向源代码的软件漏洞静态检测综述
软件静态漏洞检测依据分析对象主要分为二进制漏洞检测和源代码漏洞检测。由于源代码含有更为丰富的语义信息而备受代码审查人员的青睐。针对现有的源代码漏洞检测研究工作,从基于代码相似性的漏洞检测、基于符号执行的漏洞检测、基于规则的漏洞检测以及基于机器学习的漏洞检测4个方面进行了总结,并以基于源代码相似性的漏洞检测系统和面向源代码的软件漏洞智能检测系统两个具体方案为例详细介绍了漏洞检测过程。
所属分类:
其它
发布日期:2021-01-20
文件大小:1mb
提供者:
weixin_38517728
深入浅析Python代码规范性检测
一定要注重代码规范,按照平时的代码管理,可以将Python代码规范检测分为两种: 静态本地检测:可以借助静态检查工具,比如:Flake8,Pylint等,调研了一下,用Flake8的相对较多,功能满足,本文将使用Flake8 git:可借助git hooks,本文推荐使用pre-commit。 静态本地检测 Flake8包装了Pyflakes、Pycodestyle和McCabe,也可以自定义插件。功能包括: 检查代码是否符合PEP8 检查是否包含语法错误和未使用的变量和导入
所属分类:
其它
发布日期:2021-01-19
文件大小:136kb
提供者:
weixin_38731199
«
1
2
3
4
5
6
7
8
9
10
...
30
»