{"repo":"espritoxyz/tsa","free":true,"listed":false,"github":"https://github.com/espritoxyz/tsa","clone":"git clone https://github.com/espritoxyz/tsa.git","description":"TON Symbolic Analyzer","language":"Kotlin","stars":32,"topics":["blockchain","program-analysis","reverse-engineering","security","smart-contracts","symbolic-execution","ton"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"TSA(TON Symbolic Analyzer) is a static analysis tool based on symbolic execution and designed for smart contracts on the TON blockchain. Quick start To install TSA, follow the guide. To know more about TSA use cases, read the following document. The easiest way to use TSA is to generate tests. For examples, see the following. Language Support TSA works on TVM bitcode level, so it is possible to analyze smart contracts written in any language, just need to compile it to BoC format. Use Cases TSA is designed for a few purposes: - Detect possible TVM runtime errors: Find possible misbehavior while processing integers (overflow/underflow, division by zero) and slices/builders (reading or writing wrong number of bits, incorrect types, etc). - Generate regression tests: TSA is able to generate Blueprint-based tests based on discovered execution paths that allow to fix expected behavior and find errorneous executions. - Honeypots detection: TSA can detect and report malicious contracts that are created to fool users. Funding TSA has been funded by the TON Foundation grant grant and has been developed under the 8-month roadmap. License MIT © Esprito Tech QFZ LLC","default_branch":null,"files":null,"tree":[],"storefront":"/r/espritoxyz","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/espritoxyz/tsa/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}