thoth
by FuzzingLabs
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
AI summary
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
- stars
- 249
- forks
- 21
- watching
- 4
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Smart Contract Fuzzer
A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities.
Blockchain analyzer
Analyzes and decomposes binary files used by the Sierra blockchain network
Smart contract library
A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment.
Smart contract analyzer
A security scanner for Ethereum smart contracts
Smart contract language syntax highlighter
A package providing syntax highlighting for Smart Contract languages Solidity, Vyper, Yul, and StarkNet Cairo in the SublimeText editor.
Contract analyzer
A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues
Smart contract analyzer
A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity
Smart contract security analysis
Security analysis and documentation of smart contracts on the Ethereum network
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
Cybersecurity analyst aid
A tool designed to aid cybersecurity analysts in automating routine checks and enhancing their workflow
Contract Analyzer
Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis
Contract Analyzer
A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal
Contract analyzer
An automated security scanner for Ethereum smart contracts
Smart contract analyzer
A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax
Contract analyzer
A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions thoth.
