Misti
TON Static Analyzer
Detect security issues in TON smart contracts before they reach production
Misti Overview
Misti is a comprehensive security tool designed to identify and prevent vulnerabilities in TON smart contracts. By streamlining the development process and integrating security checks early, Misti ensures your code remains robust and secure.
🔒 Code Analysis
Identify and fix potential security flaws and code problems early in the development cycle.
⚙️ CI/CD Integration
Integrate Misti into your CI/CD pipeline to ensure continuous code quality checks.
🛠️ Custom Detectors
Create custom detectors to solve specific problems in your code or to provide a thorough security review if you are an auditor.
Discover Detectors
Misti supports 30 specialized detectors designed to identify code issues, detect vulnerabilities, and enforce best practices.
🌐 TON & Tact Specific
Detect patterns unique to TON and Tact that could lead to unintended behavior, such as CellOverflow or StringReceiversOverlap.
🚫 DoS Prevention
Identify vulnerabilities that could lead to Denial of Service attacks, like SendInLoop or UnboundMap.
➗ Arithmetic Accuracy
Avoid critical calculation errors with detectors like DivideBeforeMultiply.
🔐 Access Control
Ensure only authorized entities perform actions, preventing unauthorized access with detectors like SuspiciousMessageMode.
⚡ Code Optimization
Enhance code efficiency and readability with detectors like OptimalMathFunction and PreferAugmentedAssign.
🕵️ Suspicious Patterns
Uncover subtle issues in your code with detectors such as ZeroAddress and InheritedStateMutation.
Request Audit
While tools like Misti are valuable supplements to the security process, they are NOT substitutes for proper security analysis. The most critical aspect of smart contract security is thoroughly understanding the contract's specification and business logic - something no automated tool can do.
We provide comprehensive smart contract audits, backed by our technical expertise, as our schedule permits.