ScopeBots
Menu

All tools / Security & auditing

Tealer

Static analysis of Algorand TEAL programs for common bugs.

Tealer

Trail of Bits (crytic)

Best for Static analysis of Algorand TEAL programs for common bugs

Chains
Algorand (network not stated)* Docs name the chain but not the network.
Price
Free (open source)
License
AGPL-3.0

An open-source static analyzer from Trail of Bits that parses Algorand TEAL, builds control-flow graphs and runs vulnerability detectors and printers. Useful as a first automated pass before a manual audit. It has not had a release since February 2024 (v0.1.2), so check it against the TEAL version you target.

Catch No release since February 2024; check it against the TEAL version you target

Visit Tealer Checked Oct 17, 2026 against the maker's page for Tealer (price and verdict source)

Chain support, with sources

We only add a chain when the maker's own docs name it. "EVM-compatible" alone counts for no specific chain. A testnet-only record means the page we checked only shows testnet; it isn't a finding that mainnet is unsupported. This is what the docs say, not a test or security review.

Common questions about Tealer

Which blockchains does Tealer support?
They name Algorand without saying which network. Every chain links to the maker's own page above.
How much does Tealer cost?
Free (open source).
Is Tealer open source?
Yes, AGPL-3.0.

More in Security & auditing

Are you the maker of Tealer?

Add this badge to your site to show Tealer is featured on ScopeBots. It links to this page. Added a chain or spotted something out of date? Email hello@scopebots.ai with a link to your docs.

Featured on ScopeBots

Know when chain support changes

One short email when we add tools or a tool adds, drops or deprecates a chain. Nothing new, no email. Unsubscribe anytime.