← Back to catalog

Dimensional Analysis

trailofbitsSkillSecurity review7.1k

Find inconsistent units, scales and precision in numerical code.

The Agent assigns units to amounts, prices and ratios, then follows expressions to check consistency. Useful for conversion and precision mistakes such as mixing percentages with fractions or mishandling token decimals.

Example task

Review the units, fee rates and fixed-point precision in this settlement code. Show inconsistent expressions and the unit derivation.

Upstream project ↗
View or edit installation request

Send the request to your Agent. It includes the original source, installation scope and a verification task.

Sources & verification
Publisher casesTrail of Bits audit comparison ↗

The author reports 93% recall versus 50% for a comparison prompt, sampling ten runs per codebase on undisclosed audit issues. Results are specific to that dataset, not general security-audit accuracy.

Source revision
a6d1b234198d
License
CC-BY-SA-4.0
Repository stars
7111