← 一覧へ戻る

Dimensional Analysis

trailofbitsSkillセキュリティ7.1k

数値コードに混在する単位、倍率、精度の誤りを確認。

金額、価格、比率に単位を付け、式をたどって演算の整合性を調べます。百分率と小数の混同や、トークンの小数桁の扱いなど、単位換算と精度の問題に向いています。

利用例

この精算コードの金額単位、手数料率、固定小数点精度を調べ、不整合のある式と導出過程を示してください。

元のプロジェクト ↗
インストール依頼を確認・編集

元のプロジェクト、導入範囲、確認タスクを含む依頼文を Agent に送ります。

出典と検証記録
公開事例Trail of Bits の監査比較実験 ↗

非公開の監査問題を対象に各コードベースで10回実行し、作者は再現率93%、比較プロンプト50%と報告しています。特定の問題集の結果であり、一般的な監査精度ではありません。

ソースの版
a6d1b234198d
ライセンス
CC-BY-SA-4.0
リポジトリ Star
7111