Docs
Guides

Guides

This section contains end-to-end guides for various TSA use cases.

Checking for TON drain vulnerability

Learn how to check if anyone can drain TONs from your contract.

View

Checking for ownership hijack vulnerability

Learn how to check if anyone can become your contract's owner.

View

Checking for replay protection

Learn how to check if your contract is susceptible to replay attack.

View

Checking processing of bounced messages

Learn how to check if your contract processes bounced messages correctly.

View

Checking opcode authorization

Learn how to audit which opcodes in your contract lack authorization checks.

View

Writing User-Defined TSA Checkers. Part 1

Learn how to use TSA for verifying custom properties.

View

Writing User-Defined TSA Checkers. Part 2

Learn how to use TSA for verifying custom properties.

View