Pyrometer

About

Pyrometer is a Solidity static analysis tool by Nascent that uses abstract interpretation to track value ranges through contract execution. It can detect arithmetic overflows, underflows, and range violations that other tools miss by analyzing how values flow through the contract logic. Pyrometer is particularly useful for DeFi contracts where precise numerical bounds are critical for correctness.