State Space is a security, compliance and testing platform for enterprise-grade EVM smart contracts.

It generates the state space of multi-contract protocols and determines all feasible scenarios the program can execute, along with the input values that trigger them. The state space can be used to:

  • Validate business logic and compliance requirements
  • Generate documentation for compliance analysis
  • Standardize testing across teams (instead of manual)
  • Uncover unknown unknowns
  • Cover deep edge cases
  • Simulate complex scenarios
  • Analyze risk
  • Automate regression test case generation
  • Export fully reproducible test suites to Foundry and Hardhat

State Space uses symbolic execution to generate the state space, providing strong guarantees about the correctness, security, and dependability of your application before deployment, without the usual complexity.

​
Getting Started

Features

Platform overview, features, and capabilities

Try it

A tutorial with a preloaded ERC20 example.

Quickstart

Getting started with your first smart contract.

​
Learn more about State Space

How it Works

Learn about how the platform works.

Concepts

Foundational concepts behind State Space.

State Space CLI

Learn how to use the State Space CLI

​
Additional Resources

Github Repositories

Example projects preconfigured to work with State Space.