Skip to content

Releases: crytic/tealer

0.1.2

08 Feb 14:11
@montyly montyly
0.1.2
957ffd6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.2 Latest
Latest

0.1.2 - 2024-02-08

Minor release to improve the support for python 3.12 and streamline the release on pypi

Full Changelog: 0.1.1...0.1.2

Assets 10
Loading

0.1.1

22 Jan 10:06
@montyly montyly
0.1.1
14cfe8b
Compare
Choose a tag to compare
0.1.1

This is a minor release to improve the support for python 3.12 (thanks to @aorumbayev)

What's Changed

Full Changelog: 0.1.0...0.1.1

Contributors

aorumbayev, S3v3ru5, and 0xalpharush
Assets 2
Loading

0.1.0

20 Dec 16:18
@montyly montyly
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.
Compare
Choose a tag to compare
0.1.0

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