手写Linter修复生产事故：一次Go语言静态分析实战
文章记录了作者从一次难以察觉的数据库事务泄漏Bug出发，进而开发Go语言静态分析工具的全过程。这种Bug常因在事务回调中误用外部Repo而导致数据不一致，且极易逃过常规测试和AI代码审查。作者利用`go/analysis`框架，通过AST遍...
标签索引
静态分析
这个标签下有 5 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
Python 类型检查器深度解析：空容器类型推断的策略较量
在 Python 开发中，使用空容器（如 `[]` 或 `{}`）而不显式声明类型是一种常见做法，但这给静态类型检查器带来了推断难题。本文深入对比了 Mypy、Pyright、Pytype 等主流工具的三种核心策略：推断为 `Any`、基于...
Pg-typesafe：为 PostgreSQL 和 TypeScript 提供零冗余的强类型查询支持
Pg-typesafe 是一款新型开发者工具，旨在解决 PostgreSQL 数据库与 TypeScript 应用之间的类型同步问题。与传统的 ORM 或查询生成器不同，它通过静态分析代码中的常量 SQL 字符串来生成类型定义，无需运行时依...
6k+星开源神器：代码“屎山”检测器重构归来，集成 AI 智能审查
开发者开源了一款名为 fuck-u-code（npm 包名 eff-u-code）的代码质量分析工具，旨在用幽默犀利的方式评估代码的“屎山等级”。该工具基于 tree-sitter 进行 AST 解析，支持 14 种编程语言，涵盖复杂度、命...
Dafny：打造可证明正确代码的编程语言
Dafny是一种验证感知的编程语言，原生支持记录规范并配备静态程序验证器。它结合自动推理与熟悉的编程习惯，使开发者能够编写规范上可证明正确的代码。Dafny可编译至C#、Java、JavaScript、Go和Python等多种主流语言，无缝...