Algorand / TEAL
Tealer
Static analysis for Algorand TEAL programs with CFG construction and vulnerability detectors.
View on GitHub
crytic/tealer
Best for
Reviewing contracts outside the Ethereum stack without giving up automation.
Surface
Algorand / TEAL
Catalog group
Secure smart contracts and protocol code
Repository
crytic/tealer
From the README
Tealer is a static analyzer for Teal code. It parses the Teal program, and builds its CFG. The analyzer comes with a set of vulnerabilities detectors and printers allowing to quickly review the contracts. In addition, tealer allows for custom path discovery through regular expression, and can be configured to follow the group information of the application.Read the full README on GitHub ↗
Related tools · Secure smart contracts and protocol code
- Slither Static analysis for Solidity and Vyper with built-in detectors and an API for custom checks.
- Echidna Property-based fuzzing for Ethereum smart contracts driven by contract ABI grammars.
- Medusa Parallel smart-contract fuzzing built on go-ethereum and designed for large-scale test campaigns.
- Etheno JSON-RPC multiplexer and test-integration layer for contract analysis tools.
- Circomspect Static analysis and linting for Circom circuits, aimed at catching risky patterns in zero-knowledge code.