☆13May 27, 2019Updated 7 years ago
Alternatives and similar repositories for Ethracer
Users that are interested in Ethracer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ĐArcher - A Testing Framework for Decentralized Applications (DApps)☆11Jan 24, 2023Updated 3 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Sep 24, 2026Updated last month
- Oracle for tracking effective gas prices.☆17Sep 7, 2020Updated 6 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 5 years ago
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- AI based fuzzer based on imitation learning☆155Jun 17, 2024Updated 2 years ago
- Solidity code instrumentation and analysis framework.☆53Jun 27, 2020Updated 6 years ago
- ☆10Nov 11, 2024Updated last year
- A firewall application that leverages DPDK for performance and SGX for security.☆17Oct 10, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Web based Banking Decentralised Application (DApp) built on Ethereum blockchain which focuses on preventing fraudulent attacks such as th…☆11Nov 26, 2019Updated 6 years ago
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆10Sep 1, 2021Updated 5 years ago
- ACToR is a powerful, automated, and simple program translation framework.☆17May 20, 2026Updated 5 months ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Apr 13, 2026Updated 6 months ago
- ☆10Sep 24, 2019Updated 7 years ago
- ☆24May 13, 2024Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆139Dec 7, 2022Updated 3 years ago
- a safety verifier for Solidity smart contracts☆95Jan 17, 2023Updated 3 years ago
- IDMoB: IoT Data Marketplace on Blockchain☆12Jun 7, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- ☆10Sep 19, 2023Updated 3 years ago
- ☆25Jun 21, 2022Updated 4 years ago
- Runtime verification tool for Solidity smart contracts.☆34Mar 29, 2023Updated 3 years ago
- ☆135Jul 27, 2021Updated 5 years ago
- Ratel - a new framework for instruction-level interposition on enclaved applications☆25Dec 14, 2022Updated 3 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Oct 26, 2026Updated last week
- ☆15Jun 10, 2025Updated last year
- Obscuro: A Secure and Anonymous Bitcoin Mixer using SGX☆19Oct 22, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated last year
- Yet another dapp☆11Jan 8, 2018Updated 8 years ago
- Weighted Threshold Signature Benchmark☆16Sep 15, 2023Updated 3 years ago
- ☆15Jan 14, 2021Updated 5 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆84Mar 25, 2025Updated last year
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- Get Perpetual Funding Rates from Cryptocurrency Exchanges Every 2 Hours.☆11Updated this week