Pyrometer

Open Source

Abstract interpretation-based Solidity analyzer by Nascent. Detects range violations and arithmetic issues through value-range analysis.

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. Pyrometer is labelled beta and sees little activity: the last commit is from 2025-02-14 and there are no releases.

Chains

ethereum polygon arbitrum optimism base

Install

git clone https://github.com/nascentxyz/pyrometer && cd pyrometer/crates/cli && cargo install --path . --locked

Related Tools

Slither

Pairs with Pyrometer

Mythril

Alternative to Pyrometer

Halmos

Pairs with Pyrometer

Quick Info

Pricing: free
Open Source: Yes
Last validated: Oct 2026

Links

Website GitHub Documentation