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 28 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 automated tools like Misti are powerful, they can't catch every vulnerability. Complex bugs require insights that only a manual audit or formal specification and verification can provide.
We offer high-quality audits as our availability allows. With our Web3 security background, we can help keep your project safe. References are available upon request.