Skip to content

0.1.0
Compare
Choose a tag to compare
@montyly montyly released this 20 Dec 16:18
· 25 commits to main since this release
0.1.0
f850128
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

2023-12-20

This is the first pypi release of Tealer.

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.

We would like to thanks the Algorand foundation for their support, and our external contributors for their help:

Contributors

aorumbayev, geo2a, and malturki
Assets 2
Loading