搜索
Frama-CC代码分析工具
认领
关注
0
粉丝
Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。
知识
简介
Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。...
更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
开发工具、 代码管理分析/审查/优化
授权协议
LGPL
操作系统
Windows
收录时间
2023-10-02
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
（满分 10 分）
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
CodeNarcGroovy代码分析工具
CodeNarc是一个对Groovy代码进行静态分析的工具和框架。CodeNarc通过扫描Groovy源代码来寻找那些违反预定或自定义的相关规则，包括检测编码标准、寻找未使用的代码、可预见的bug或者
CodeNarcGroovy代码分析工具
CodeNarc是一个对Groovy代码进行静态分析的工具和框架。CodeNarc通过扫描Groov
CodemodFacebook 代码分析工具
Codemod是一个工具/库，它可以帮你处理那些只有部分自动化功能，部分场合还需人工干预的大规模代码库。示例代码：-m Have regex work over multiple lines (e.
PyCheckerPython代码分析工具
PyChecker是一个python脚本分析工具，它可以发现python脚本中的bugs，它支持python2.0–2.7。PyChecker可以发现的问题包括：Noglobalfound(e.g.,
RuffPython 代码分析工具
Ruff是基于Rust编写的高性能Python代码分析工具，宣称比现有的同类工具快10~100倍。核心特性通过pip安装支持pyproject.toml兼容 Python3.11超过500条内置规则，
JHawkJava 代码分析工具
JHawk是一个静态的Java代码分析工具，它分析你项目的源码并基于几个方面对代码进行各种指标分析，包括类和包之间的关系。
CodemodFacebook 代码分析工具
Codemod 是一个工具/库，它可以帮你处理那些只有部分自动化功能，部分场合还需人工干预的大规模代
RuffPython 代码分析工具
Ruff 是基于 Rust 编写的高性能 Python 代码分析工具，宣称比现有的同类工具快 10~
JHawkJava 代码分析工具
JHawk 是一个静态的 Java 代码分析工具，它分析你项目的源码并基于几个方面对代码进行各种指标
PylintPython代码分析工具
Pylint是一个Python代码分析工具，它分析Python代码中的错误，查找不符合代码风格标准（Pylint默认使用的代码风格是PEP8）和有潜在问题的代码。Pylint是一个Python工具，除
认领
认领