Frama-CC代码分析工具

0获赞0粉丝0关注
Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。
简介
Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
所属分类
开发工具、 代码管理分析/审查/优化
授权协议
LGPL
操作系统
Windows
收录时间
2023-10-02
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐