Based on symbolic execution for comprehensive smart contract analysis on the TON blockchain.
TON Security Analyzer
TSA is a static analysis tool based on symbolic execution and designed for smart contracts on the TON blockchain.
100%
Customizable
Secure by default
Provident fugit and vero voluptate. magnam magni doloribus dolores voluptates a sapiente nisi.
Faster than light
Provident fugit vero voluptate. magnam magni doloribus dolores voluptates inventore nisi.
Faster than light
Provident fugit vero voluptate. Voluptates a sapiente inventore nisi.
Keep your loved ones safe
Voluptate. magnam magni doloribus dolores voluptates a sapiente.
Glodie
B. Ng
Use Cases
TSA is designed for a few purposes: Detect possible TVM runtime errors, generate regression tests, and detect honeypots.
- Detect Runtime Errors
- Find possible misbehavior while processing integers (overflow/underflow, division by zero) and slices/builders.
- Generate Tests
- TSA is able to generate Blueprint-based tests based on discovered execution paths.
- Honeypots Detection
- TSA can detect and report malicious contracts that are created to fool users.
Features
Discover all features.
Harum quae dolore inventore repudiandae? orrupti aut temporibus ariatur.
Find possible misbehavior while processing integers (overflow/underflow, division by zero) and slices/builders.
Generate Blueprint-based tests based on discovered execution paths that allow to fix expected behavior.
Detect and report malicious contracts that are created to fool users.
Works on TVM bitcode level, supporting smart contracts written in any language.
Inspired by and actively using the Universal Symbolic Virtual Machine (USVM).
FAQ
Frequently Asked Questions
Find answers to common questions about TSA and how it can help you build secure smart contracts.