由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名
AeneasVerif/aeneas
项目介绍
面向 Rust 程序的验证工具链
A verification toolchain for Rust programs
智能解读
原始标签
智能标签
使用场景
项目健康度
距上次更新 1 天
平台 Star TOP 18% · Forks 94
本周 +16 ⭐ · 本月 +62 ⭐
39 位贡献者 · 0 条平台评论
缺少 2 项内容
项目信息
赞赏支持
如果本站对你有帮助，欢迎打赏支持
微信
支付宝
Widget 徽章
相关项目推荐
facebook/flow
为 JavaScript 添加静态类型系统，以提高开发人员生产力和代码质量
semgrep/semgrep
轻量级多语言静态分析工具。通过类源代码模式发现错误变体。
facebook/infer
面向 Java、C、C++ 和 Objective-C 的静态分析器
facebook/pyre-check
高性能的Python类型检查
ocaml/ocaml
核心 OCaml 系统：编译器、运行时系统和基础库
janestreet/magic-trace
magic-trace 能够采集并显示进程行为的高分辨率追踪数据
加载评论中...