An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
☆55Jul 11, 2025Updated last year
Alternatives and similar repositories for OpenTracer
Users that are interested in OpenTracer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24May 13, 2024Updated 2 years ago
- ☆11Jan 14, 2025Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆122Dec 2, 2025Updated 8 months ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- A curated list of awesome ton security resources☆44Jul 11, 2026Updated last month
- ☆12Sep 19, 2024Updated last year
- ☆65Jan 4, 2023Updated 3 years ago
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆23Apr 2, 2023Updated 3 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆15Aug 10, 2026Updated last week
- A binary lifter and analysis framework for Ethereum smart contracts☆382Aug 8, 2026Updated last week
- Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…☆122Apr 28, 2026Updated 3 months ago
- Asynchronous TON Center client SDK (V2, V3) with subscription services, transaction flows, parallel processing, and debug tools.☆20Mar 1, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18May 7, 2026Updated 3 months ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆644Updated this week
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆138Dec 7, 2022Updated 3 years ago
- Jest Runner for Tolk☆17Oct 10, 2025Updated 10 months ago
- PL/SE conference deadline countdowns☆18Nov 23, 2020Updated 5 years ago
- LLVM-based Static Analysis Framework☆38Updated this week
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Aug 10, 2026Updated last week
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆104Oct 11, 2023Updated 2 years ago
- ☆12Nov 10, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆20Mar 18, 2026Updated 4 months ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 10 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated 10 months ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Apr 13, 2026Updated 4 months ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 3 years ago
- List of Halmos resources.☆63Feb 14, 2025Updated last year
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆51Feb 28, 2023Updated 3 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 5 years ago
- ☆376Oct 27, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆77Dec 18, 2025Updated 7 months ago
- Symbolic Execution Engine in Rust☆22Oct 8, 2023Updated 2 years ago
- Datasets used in the paper "Labeled Transactions-based Dataset of Ethereum Network"☆19Jun 18, 2026Updated last month
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆190May 15, 2025Updated last year
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆158Jun 16, 2024Updated 2 years ago
- Hitchhikers guide to the Ethereum world☆20Jan 21, 2024Updated 2 years ago
- ☆23Jan 6, 2025Updated last year