tealer

Tech stack & purpose

Tealer is a static analyzer for Teal, Algorand's smart contract language, that parses Teal programs, constructs their control flow graphs, and identifies vulnerabilities through a suite of built-in detectors. The tool provides twelve vulnerability detectors covering issues like unprotected state modifications and missing transaction field validations, as well as five printers that generate visual representations such as control flow graphs and call graphs. Tealer also supports custom vulnerability detection through regular expressions and can be configured with group transaction information, and it is developed and maintained by Trail of Bits, released under the AGPLv3 license.

Languages

Contributors

• Feist Josselin205 commits
• Vara Prasad Bandaru120 commits
• S3v3ru558 commits
• Josselin34 commits
• musab.alturki31 commits
• Vara Prasad10 commits
• Georgy Lukyanov8 commits
• Josselin Feist6 commits
• feliam4 commits
• alpharush4 commits
• Altynbek Orumbayev4 commits
• 
  Emilio López2 commits · 98 followers
• Al1 commits
• Francesco Bertolaccini1 commits
• 
  James Olds1 commits · 12 followers
• 
  Gustavo Grieco1 commits · 103 followers