2023-12-20
This is the first pypi release of Tealer.
Tealer is a static analyzer for [Teal](https://developer.algorand.org/docs/features/asc1/) 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](https://github.com/crytic/tealer#regular-expressio), and can be configured to follow the [group information](https://github.com/crytic/tealer#group-configuration) of the application.
We would like to thanks the Algorand foundation for their support, and our external contributors for their help:
* malturki
* geo2a
* aorumbayev