☆20Oct 2, 2020Updated 5 years ago
Alternatives and similar repositories for evmpatch-developer-study
Users that are interested in evmpatch-developer-study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Jun 21, 2022Updated 4 years ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 5 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆86Jul 24, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆46Jul 29, 2021Updated 5 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Aug 10, 2026Updated last month
- This is a crawler with a tool of Jsoup. Furthermore. Moreover, there is a python version.☆19Apr 7, 2019Updated 7 years ago
- Smart contract vulnerability detection using graph neural network (DR-GCN).☆155Feb 28, 2023Updated 3 years ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆59May 11, 2021Updated 5 years ago
- Ethereum smart contract similarity measurement at the basic block level based on triplet netwok☆11Feb 24, 2021Updated 5 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆42May 2, 2023Updated 3 years ago
- ☆68Aug 17, 2022Updated 4 years ago
- A comprehensive and accurate emulation of Bitcoin network implementation☆14Nov 1, 2022Updated 3 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.
- MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts he…☆19Mar 7, 2024Updated 2 years ago
- ☆29Dec 28, 2024Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆646Sep 10, 2026Updated last week
- ☆42Jul 6, 2023Updated 3 years ago
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆29Feb 28, 2023Updated 3 years ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆203Aug 21, 2023Updated 3 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆61Jun 5, 2022Updated 4 years ago
- This repository contains 50,000 smart contracts extracted from the Ethereum network.☆20Mar 1, 2022Updated 4 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 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.
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆35Feb 28, 2023Updated 3 years ago
- EVM CFG recovery☆127Jun 29, 2023Updated 3 years ago
- Launch an Ethereum sandbox from the command line☆13Jun 5, 2017Updated 9 years ago
- ☆13Jul 6, 2023Updated 3 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- A cross-chain framework for fabric based on relay chain tech. The current version of fabric is 1.4.4. 基于fabric的联盟链跨链框架☆13May 5, 2022Updated 4 years ago
- ☆12Jan 22, 2025Updated last year
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆101Feb 28, 2023Updated 3 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.
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆35Apr 13, 2026Updated 5 months ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆222Jan 23, 2020Updated 6 years ago
- ☆15May 22, 2023Updated 3 years ago
- Implementation of SATA Tree-LSTM (Dynamic Compositionality in Recursive Neural Networks with Structure-aware Tag Representations, AAAI 20…☆10Jun 21, 2022Updated 4 years ago
- Nicad clone detector with support for solidty smart contracts I.e. file-extraction, function-extraction, contract-extraction and block-ex…☆23Mar 14, 2023Updated 3 years ago
- Extracting graph data from smart contract source code☆14Feb 28, 2023Updated 3 years ago
- ☆14Feb 14, 2024Updated 2 years ago