标签
cargo-crap 是一个 Rust 工具，它使用 CRAP 指标来识别既复杂又测试不足的函数，帮助开发者管理 AI 生成代码中的风险。
Repowise是一个开源MCP工具，为Claude Code等AI编码代理提供代码库智能，包括12个生物标记的代码健康评分、依赖分析、git洞察和自动生成的文档，全部离线运行于Ollama之上。
OxCaml 是 Jane Street 对 OCaml 编译器的分支，它引入了编译时对数据竞态的保证，从而在不增加运行时开销的情况下实现顺序一致性。这篇博文解释了新的模式轴及其对并行编程的影响。
本文介绍了 Elevator，一种新型二进制翻译器。它能够将完整的 x86-64 二进制文件确定性且完全静态地翻译为 AArch64 架构，无需使用启发式方法或运行时回退机制。Elevator 实现了与 QEMU 相当的性能，同时支持对翻译后的代码进行部署前验证和认证。
文章解释了为什么 Tree-sitter 不适合深度程序分析，并指出它会丢弃运算符和关键字等关键标记。文章提倡使用 Cubix 框架作为构建语义分析和重构工具的更稳健替代方案。
本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。
React Doctor v2 是一款开源 CLI 工具，可分析 React 代码库中的性能问题、不良编码模式、不必要的重渲染以及架构缺陷。它支持 Next.js、Vite 和 React Native，可通过 npx 即时运行。
Daniel Diniz 借助 Claude Code 与自研插件，系统性地在 44 个 Python C 扩展项目中挖出 575+ 个 bug，其中 14 个项目已合并修复。
Verus 是一款针对 Rust 的静态验证工具，利用 SMT 求解在不引入运行时检查的前提下，证明底层系统代码的完整功能正确性。
实践者 Rory Sawyer 回顾十年将程序分析用于弥合代码与人类意图之间差距的经历，强调静态分析作为超越执行的正确性沟通工具的价值。
Checkstyle 是一款开源的 Java 工具，通过检查代码是否符合编码标准和最佳实践来保障代码质量。
React Doctor 是一个 CLI 工具，用于扫描 React 代码库中的问题，提供健康评分并与开发智能体集成。支持 Next.js、Vite、React Native 和 GitHub Actions 工作流。