具有“ 静态分析”功能的应用

PyChecker

PyChecker

PyChecker是用于在Python源代码中查找错误的工具。
Infer

Infer

Facebook Infer是一个静态分析工具-如果您为Infer提供一些Objective-C,Java或C代码,它将产生一系列潜在的错误。
Kiuwan Application Security

Kiuwan Application Security

九湾应用安全是端到端的Appsec平台,监控,行动计划和未本地化团队内部的无缝集成只是九湾提供的一些功能。。
Appknox

Appknox

Appknox是一款移动应用程序安全测试解决方案,可结合使用自动测试和手动测试来检测和修复移动应用程序中的漏洞。
CodeSonar

CodeSonar

提高质量,降低风险并充满信心地发货。
PEP 257

PEP 257

pep257是用于检查是否符合Python PEP 257的静态分析工具。
flake8

flake8

Flake8是PyFlakes,pep8和Ned Batchelder的McCabe脚本的包装,并在每个文件的合并输出中显示警告。
SideCI

SideCI

SideCI是GitHub上的自动代码审查工具。加快代码审查和开发周期,以提高生产率,而无需工程师花费宝贵的时间。
PC-lint

PC-lint

Gimpel软件PC-lint Plus,适用于C和C ++的灵活静态分析,包括MISRA支持
HttpFox

HttpFox

HttpFox监视并分析浏览器和Web服务器之间的所有传入和传出HTTP通信。
Cauditor

Cauditor

可视化PHP项目的指标,以了解其体系结构并控制它们。
PEP8

PEP8

pep8是用于根据PEP 8中的某些样式约定检查Python代码的工具。
PyFlakes

PyFlakes

一个简单的程序,检查Python源文件中的错误。
lgtm.com

lgtm.com

lgtm.com是用于代码分析的平台。免费使用开源软件。超过5.5万个项目的结果随时可用(添加您自己的!),具有自动代码审查请求请求集成(GitHub,Bitbucket,GitLab)等等。
Binary Ninja

Binary Ninja

逆向工程平台和GUI。
Bootstrap CMS

Bootstrap CMS

基于最新技术的基于Bootstrap 3的现代,开源,快速,安全的内容管理系统.CMS是从Scratch构建的,并使用了最新的引导程序框架,jQuery和HTML5,CSS3,PHP5和MySQL5等技术。
SOAtest

SOAtest

Parasoft被软件开发专业人士公认为软件开发生命周期自动化的领导者。
Relyze

Relyze

Relyze是一个交互式软件反向工程和分析平台,具有以下主要功能:
Feram

Feram

Feram是一项服务,可在您的合并请求中查找错误,并自动为这些错误生成补丁。
QuantifiedCode

QuantifiedCode

自动化,数据驱动的代码将Python,Django甚至您自己的项目作为一项服务进行审核。