Introduction

Misti is a static analysis tool designed for smart contracts on the TON blockchain.

Language Support:

• Tact 1.4.1 is supported.
• Support for FunC is planned.

Use Cases

Misti is designed to detect issues in smart contracts efficiently, making it ideal for integration into development tools and CI/CD pipelines. By incorporating Misti, you can:

• Detect Vulnerabilities: Identify and fix potential security flaws early in the development cycle.
• Improve Code Quality: Maintain high standards by catching bugs and enforcing best practices automatically.
• Streamline Development: 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.

Go ahead and read more about the tool, including its design, to fully leverage its capabilities and integrate it effectively into your workflow.

Funding

Misti has been funded by TON Foundation. This support has enabled us to develop and maintain the tool.