Symbolic analyzer for TON smart contracts

TSA: build

TSA Example

Funding

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

Inspiration

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

You are very welcome to contribute to this project.