Platform Features

​

Visual Test Design

Map end-to-end, multi-contract user flows and interactions from your smart contract code via drag-and-drop, instead of manually hand-crafting test scenarios and edge cases. Explore the state space of any transaction sequence you design.

​

Input Parameterization

Configure concrete and symbolic input values to control the breadth of the state space search. State Space will mathemtically synthesize the structured dynamic inputs that excersise all feasible paths for the scenario throughout the protocol.

​

Autonomous Path Exploration

Automatically enumerates all feasible execution paths by symbolically executing the bytecode under full EVM semantics, mathematically determining the input values and conditions. This approach maximizes depth and breadth of coverage and edge case discovery for any set of interoperating smart contracts.

​

Test Suite Generation

Use the generated state space to export decoded, comprehensive, and fully reproducible Foundry and Hardhat test suites that represent the exact behavior of your code. State Space verifies all output with multiple reference implementations to verify the accuracy of the test suite. Implement a workflow for automated regression test generation to surface the smallest of behavior changes with each code update.

​

State Analysis & Validation

Use an intuitive visual interface to analyze, validate, and certify the protocol behavior. Inspect contract values, storage, balances, and state changes as a timeline across each transaction. Flag behaviors for correctness and unexpected behavior, uncovering edge cases that could impact reliability and security.

​

Collaboration

Invite internal peers or external auditors to participate in validation workflows. Share findings, collaborate on test cases, and streamline the testing and validation process through a unified interface.

​

What can it help me do?

• Generate test suites that model end-to-end user flows, integration tests, and unit tests
• Validate business logic for unexpected/expected behavior
• Explore paths through multi-contract protocols
• Contract behavior using what-if scenarios
• Validate emitted data aligns with actual contract state change
• Surface areas of poor or strong input validation
• Automatically uncover arithmetic overflow/underflow conditions
• Revert analysis
• Uncover unexpected state changes
• Ensure state values properly update for every scenario
• Ability to detect compiler bugs
• Test deployment scripts
• Validate contract upgrades
• Collaborate with peers or auditors on verifying state behavior
• Model edge cases and PoCs
• and more…

​

Benefits

• Uncover edge cases that manual testing misses
• Validate smart contract behavior
• Save weeks/months of engineering effort
• Increase code quality and security
• Accelerate time-to-market
• Pre-audit preparation to maximize value from audit engagements
• Get immediate feedback to remediate bugs or unintended functionality quickly
• Standardize testing quality among teams of varying skillsets