ton-vulnerability-scanner

Scan TON FunC contracts for integer-as-boolean misuse, fake Jetton notifications, and unguarded forward TON.

Updated Jul 10, 2025
One-click install
npx skills add https://github.com/Superlend/superloop-core-contracts --skill ton-vulnerability-scanner
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ton-vulnerability-scanner
Source: https://github.com/Superlend/superloop-core-contracts/tree/main/.cursor/skills/building-secure-contracts/skills/ton-vulnerability-scanner
Command: npx skills add https://github.com/Superlend/superloop-core-contracts --skill ton-vulnerability-scanner

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

TON FunC contracts often suffer security gaps that are easy to miss during audits, risking token loss and contract breaches.

Core Features & Use Cases

  • Vulnerability patterns: detects integer-as-boolean misuse, fake Jetton transfer notifications, and forward TON without gas checks.
  • Audit guidance: provides mitigation steps, testing strategies, and reference patterns to improve security posture.
  • Practical workflow: integrates into security reviews of TON dApps, Jetton interactions, and gas-forward flows.

Quick Start

Run the TON vulnerability scanner against a TON FunC codebase to surface vulnerable patterns and recommended fixes.

Frequently Asked Questions about ton-vulnerability-scanner

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I scan TON FunC contracts for vulnerabilities?

To scan TON FunC contracts for vulnerabilities, run the scanner against your codebase to surface vulnerable patterns like integer-as-boolean misuse, fake Jetton transfer notifications, and forward TON without gas checks. It provides mitigation steps and testing strategies to improve your dApp's security posture.

What security risks should I check for in TON Jetton transfer flows?

TON Jetton transfer flows carry security risks like fake transfer notifications, integer-as-boolean misuse, and forwarding TON without gas checks. Scanning for these vulnerability patterns helps identify potential token loss vectors and provides mitigation guidance for contract audits.

Why does my TON contract fail when forwarding TON without gas checks?

Forwarding TON without gas checks creates a vulnerability pattern where insufficient gas causes transaction failures. The scanner detects this issue in FunC contracts and provides mitigation steps and reference patterns to implement proper gas validation logic.

Can I use this scanner for an audit of TON dApps and gas-forward logic?

Yes, the scanner is designed for security audits of TON dApps, Jetton interactions, and gas-forward flows. It satisfies detection of three key vulnerability patterns with targeted mitigation guidance and testing strategies suitable for comprehensive reviews.

How do I fix fake Jetton transfer notification vulnerabilities in FunC?

Fixing fake Jetton transfer notification vulnerabilities requires implementing proper sender validation in your FunC contract. The scanner detects this pattern and provides mitigation steps, testing strategies, and reference patterns to prevent unauthorized transfer notifications.

What are the limitations of automated TON vulnerability scanning?

Automated TON vulnerability scanning is limited to three specific patterns: integer-as-boolean misuse, fake Jetton transfer notifications, and forward TON without gas checks. It provides mitigation guidance but should be part of a broader manual security review for comprehensive coverage.