← 返回工具库

Dimensional Analysis

trailofbitsSkill安全审查7.1k

检查数值计算中混用的单位、比例和精度。

让 Agent 为金额、价格、比例等数值标注单位,再沿表达式检查运算是否一致。适合审查复杂数值代码中的单位换算和精度问题,例如百分数与小数混用、不同代币精度处理错误。

使用示例

检查这段费用结算代码中的金额单位、费率和定点精度,标出单位不一致的表达式及推导过程。

原项目 ↗
查看或编辑安装请求

将安装请求发给 Agent。请求包含原项目地址、安装范围和验证任务,可按需要编辑。

来源与验证记录
外部案例Trail of Bits 的审计问题对照实验 ↗

作者在未公开审计问题集上每代码库采样 10 次,报告 93% 召回率,对照提示词为 50%。这是作者特定问题集结果,不代表通用安全审计准确率。

源码版本
a6d1b234198d
许可证
CC-BY-SA-4.0
仓库 Star
7111