Introduction

TSA is a static analysis tool that uses symbolic execution to perform automated security verification for TON smart contracts.

To understand TSA's core capabilities, begin with our guide on using the TON drain checker.

You can access TSA through two interfaces:

• Blueprint Plugin (Recommended) - for the most convenient, integrated experience.
• CLI Tool - offers the most comprehensive analysis options and greater flexibility for advanced use cases, though with a steeper learning curve.