thoth
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
249 stars
4 watching
21 forks
Language: Python
last commit: about 2 years agoLinked from 2 awesome lists
analysiscairo-langcallflowcfgdecompilerdisassemblerreversingsecuritysierrastarknetsymbolic-execution
keep-starknet-strange/awesome-starknet
amanusk/awesome-starknet-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 120 |
| fuzzinglabs/sierra-analyzer | Analyzes and decomposes binary files used by the Sierra blockchain network | 10 |
 openzeppelin/cairo-contracts | A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment. | 833 |
 eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 davidhq/sublimeethereum | A package providing syntax highlighting for Smart Contract languages Solidity, Vyper, Yul, and StarkNet Cairo in the SublimeText editor. | 117 |
 crytic/caracal | A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues | 136 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 veridise/medjai | A symbolic execution tool for verifying the correctness of smart contracts written in Cairo. | 49 |
 theresafewconors/sooty | A tool designed to aid cybersecurity analysts in automating routine checks and enhancing their workflow | 1,364 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
| crytic/tealer | A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal | 62 |
| eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |
 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 |