Misti
nowarpBest for Static analyzer for Tact contracts on TON
- Chains
TON* (network not stated)* Docs name the chain but not the network.- Price
- Free (open source)
- License
- Apache-2.0
An open-source static analyzer for TON smart contracts written in Tact, with 42 built-in detectors that flag errors and risky patterns before deployment; installing Souffle unlocks extra detectors. Free and Apache-2.0. Its README names only Tact, not FunC or Tolk, and it tracks each Tact release, so match it to your compiler version.
Catch Tact contracts only; FunC and Tolk are not named in its docs