Symbolic analyzer for TON smart contracts

TSA has been funded by the TON Foundation grant grant and has been developed under the 8-month roadmap.

TSA is inspired and is actively using the Universal Symbolic Virtual Machine(USVM) – a symbolic core engine for multiple programming languages.

USVM and TSA itself also widely use the KSMT library – a Kotlin/Java API for SMT solvers, with some optimizations for TON blockchain.

You are very welcome to contribute to both of these projects.