TOOLS

Featured Tools

Build and test invariant testing suites with our interactive sandbox environment

Enhance your development workflow with Recon Pro directly in VS Code

Convert Medusa fuzzing logs into Foundry test repros

Transform Echidna logs into executable Foundry tests

Parse Halmos symbolic execution logs for Foundry integration

Convert Hex to Human-Readable Solidity Type Value

Compare and analyze differences between EVM bytecode

Format Bytecode and Calldata into words and function selector

Given static bytecode (no constructor), generates initCode

Pad Strings and Encode them to hex

Reverse engineer Solidity interfaces from contract bytecode

Calculate oracle price drift and deviation thresholds

Convert ETH to Wei, 1e8, 1e6 and vice versa

Extract Storage Slots Value from a Smart Contract

A set of utilities to fetch OpenZeppelin Roles and users from a contract

View the diff between two commits in a Github repository

Our team of security researchers can audit your smart contracts with invariant testing and manual review.