Freerange 可静态证明 UI 代码数值范围，无需运行应用

cnakazawa · x · 2026-07-21

Freerange 被介绍为一个 **zero-API** 的静态分析工具，可以自动推断代码里的数值范围。它主打的能力包括： - 证明 **TypeScript** 布局满足预设尺寸约束 - 静态排查 **NaN** 和 **Infinity** - 证明数组索引不会越界帖子强调这些检查都能在**不运行代码、无需浏览器**的情况下完成，而且可以直接接入现有代码库，并对 **RL** 训练/使用场景友好。整体上，它更像是给 UI 和 agent 编程工作流加一层可验证性。