IT学习网 - 爱学习 - 最具影响力综合资讯网站 -- 中国IT界的领航者!
热门关键字:      88888  as  xxx
站外
广告
站外
广告

静态分析工具大集合

发布时间:2016-11-16 17:29文章来源:互联网文章作者: 互联网点击次数:
静态程序分析(Static program analysis)是指在不运行计算机程序的条件下,进行程序分析的方法。有些程序分析需要在程序运行时才能进行,这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码,也有些静态程序分析的对象是目标
静态程序分析(Static program analysis)是指在不运行计算机程序的条件下,进行程序分析的方法。有些程序分析需要在程序运行时才能进行,这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码,也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析,人工进行的分析一般称为程序理解或代码审查。 — 维基百科 这是一个静态分析工具大集合,其中[OSS]代表开源软件,[PROPRIETARY]代表付费软件,欢迎各位补充。

C/C++

CMetrics [OSS] – 测算C文件的大小及复杂性 cqmetrics [OSS] – C代码的质量度量工具 clang-tidy [OSS] – clang静态分析 cppcheck [OSS] – C/C++代码静态分析 flawfinder [OSS] – 寻找可能存在的安全漏洞 flint++ [OSS] – 跨平台, 无依赖端口的flint, 由C++程序开发,Facebook也在用 oclint [OSS] – C/C++代码静态分析 splint [OSS] – C/C++代码静态分析 tis-interpreter [OSS] – 由标准C写的一款用于寻找敏感bug的解释器 vera++ [OSS] – Vera++是一个可用于验证,分析以及变换C++源代码的可编程工具

C

Code Analysis Rule Collection [OSS] – 包含一组特征, 代码修复以及在Microsoft .NET编译器平台”Roslyn”进行了重构 code-cracker [OSS] – 一款适用于C#和VB的分析库,且使用Roslyn进行重构, 代码分析 CSharpEssentials [OSS] – C# Essentials是一个Roslyn特征分析程序集合, 代码修复以及进行重构让其更能适应C# 6语言的特性 Designite [PROPRIETARY] – Designite是一款设计质量评估工具,测算各种各样的代码质量度量以及趋势分析 Gendarme[OSS] – Gendarme 检测包含在ECMA CIL 格式 (Mono and .NET)中的项目以及函数库,寻找出代码中会出现的一些常见问题(编译器一般不会检测的问题) .NET Analyzers [OSS] – 一个专注于开发分析器的组织(特征, 代码修复, 重构) ,使用.NET编译平台 SonarLint for Visual Studio [OSS] – SonarLint是Visual Studio 2015中的一个扩展,其支持向开发者动态反馈新bug以及将质量问题注入.NET代码 Refactoring Essentials [OSS] – Visual Studio 2015扩展用于C#以及VB.NET重构, 提供有关代码质量的建议 ReSharper [PROPRIETARY] – 扩展Visual Studio支持动态代码检测C#, VB.NET, ASP.NET, JavaScript, TypeScript以及其他技术 VSDiagnostics [OSS] – 一个基于Roslyn且集成了VS的静态分析器集合 Wintellect.Analyzers [OSS] – Wintellect写的.NET编译平台(“Roslyn”) 特征分析器以及代码修复工具

容器

clair [OSS] – 用于容器的漏洞静态分析 collector [OSS] – 容器内运行任意脚本,然后收集可用信息 Haskell Dockerfile Linter [OSS] – 一款智能Dockerfile linter,可以帮助你构建Docker镜像最佳实践

CSS

CSS Stats [OSS] – 在样式表中潜在有趣的统计数据 Parker [OSS] – 样式表分析工具 scsslint [OSS] – SCSS文件小工具 Specificity Graph [OSS] – CSS特征性图表生成器 Stylelint – [OSS] – SCSS/CSS文件小工具

Elixir

credo [OSS] – 一款专注于教学以及代码相容性的静态代码分析工具

Go

dingo-hunter [OSS] – 用于在Go程序中找出deadlocks的静态分析器 flen [OSS] – 在Go程序包中获取函数长度信息 go/ast [OSS] – Package ast声明了关于Go程序包用于表示语法树的类型 gocyclo [OSS] – 在Go源代码中测算cyclomatic函数复杂性 Go Meta Linter [OSS] – 同时Go lint工具且工具的输出标准化 go vet [OSS] – 检测Go源代码并报告可疑的构造 ineffassign – 在Go代码中检测无效赋值 safesql [OSS] – Golang静态分析工具,防止SQL注入
静态分析工具大集合
本文由 IT学习网 整理,转载请注明“转自IT学习网”,并附上链接。
原文链接:http://www.ourlove520.com/Article/netsafe/xitong/553181.html

标签分类:

上一篇:上一篇:如何恢复Linux中的误删文件
下一篇: 下一篇:没有了
无觅关联推荐,快速提升流量