tealer
Contract Analyzer
A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal
Static Analyzer for Teal
62 stars
7 watching
14 forks
Language: Python
last commit: about 1 year ago
Linked from 1 awesome list
awesome-algorand/awesome-algorandRelated projects:
| Repository | Description | Stars |
|---|---|---|
| crytic/caracal | A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues | 136 |
 hipo/tealinspector | Analyze and decipher Algorand smart contract lines of code | 15 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
| crytic/rattle | An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability | 353 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 algorand/graviton | A toolkit for testing smart contracts written in TEAL programming language | 17 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 python-security/pyt | A tool that analyzes Python web applications for potential security vulnerabilities | 2,181 |
 nccgroup/web3-decoder | An extension for Burp Suite to analyze JSON-RPC calls related to Ethereum smart contracts | 111 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 chao-peng/sif | A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code. | 50 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 844 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 c0r0n3r/cryptolyzer | A tool for analyzing and generating fingerprints of server cryptographic protocols and related settings. | 27 |
| crytic/amarna | Analyze and report on potential issues in Cairo code for improved security and maintainability. | 148 |