espritoxyz/tsa

TSA (TON Symbolic Analyzer) is a static analysis tool for smart contracts on the TON blockchain, utilizing symbolic execution to detect potential TVM runtime errors, generate regression tests, and identify malicious contracts like honeypots. It supports smart contracts written in any language by analyzing their TVM bitcode, making it a versatile tool for developers and auditors focused on ensuring the security and reliability of TON-based applications.