没有合适的资源?快使用搜索试试~ 我知道了~
matlab集成c代码-new-code:新代码
共10个文件
md:3个
yml:1个
rs:1个
需积分: 9 0 下载量 128 浏览量
2021-05-22
04:04:51
上传
评论
收藏 81KB ZIP 举报
温馨提示
Matlab集成的c代码 静态程序分析是对没有实际执行程序的情况下执行的计算机软件的分析, 这是静态分析工具和代码质量检查器的集合。 拉请求非常欢迎! 笔记: :copyright: 代表专有软件。 所有其他工具都是开源的。 还要检查姊妹项目。 目录 编程语言 艾达 -检测运行时和逻辑错误 :copyright: -提供代码验证,以证明源代码中不存在溢出,零除,越界数组访问以及某些其他运行时错误。 :copyright: -Ada的静态分析和形式验证工具集 :copyright: -IDE,它为Ada和VHDL提供代码分析,标准测试,度量,图形,依赖性分析等。 Awk -警告关于可疑或不可移植到其他awk实现中的构造。 C / C ++ -用于C程序,用户定义的断言,标准断言,若干覆盖率度量分析的有界模型检查器 -lang静态分析仪 -测量C文件的大小和复杂性 :copyright: -先进的,完整的程序,深层路径,对C和C ++的静态分析以及易于理解的说明以及代码和路径可视化。 -从C到Rust的半自动翻译。 通过显示Rust编译器警告和错误,可以揭示原始实现中的错误。 -C / C ++代码的静态分析 :copyright: -测量,查询和可视化您的代码,避免出现意外问题,技术负担和复杂
资源推荐
资源详情
资源评论
收起资源包目录
new-code-master.zip (10个子文件)
new-code-master
.travis.yml 70B
awesome.svg 96KB
ci
Cargo.lock 10KB
src
lib.rs 5KB
Cargo.toml 168B
.gitignore 25B
README.md 131B
CONTRIBUTING.md 1KB
awesome.png 46KB
README.md 49KB
共 10 条
- 1
资源评论
weixin_38620893
- 粉丝: 4
- 资源: 888
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功