Spot three types of flaws in TON smart contracts.
Identifies boolean-logic, Jetton-validation, and gas-management vulnerabilities in TON smart contracts written in FunC.
When to use it
Use when auditing TON contracts, reviewing Jetton implementations or transfer handlers, or assessing boolean handling and gas forwarding before launch.
Give it a contract codebase; it returns vulnerability findings with file references, suggested fixes, and verdicts for all three patterns.
What you provide
The scanning workflow uses rg to locate boolean expressions, Jetton handlers, and gas-forwarding code.
No additional actions listed.