☆20Oct 2, 2020Updated 6 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:
- ☆31Dec 11, 2022Updated 3 years ago
- ☆25Jun 21, 2022Updated 4 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆10Sep 19, 2023Updated 3 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆84Feb 3, 2024Updated 2 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.
- 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
- This is a crawler with a tool of Jsoup. Furthermore. Moreover, there is a python version.☆19Apr 7, 2019Updated 7 years ago
- ☆46Jul 29, 2021Updated 5 years ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆690Updated this week
- LLM for solidity smart contract automated program repair☆17Mar 5, 2025Updated last year
- Ethereum smart contract similarity measurement at the basic block level based on triplet netwok☆11Feb 24, 2021Updated 5 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Oct 6, 2026Updated 3 weeks ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆60May 11, 2021Updated 5 years ago
- ☆69Aug 17, 2022Updated 4 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.
- Smart contract vulnerability detection using graph neural network (DR-GCN).☆155Feb 28, 2023Updated 3 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
- A comprehensive and accurate emulation of Bitcoin network implementation☆14Nov 1, 2022Updated 3 years ago
- An AI-powered security assistant for Solidity smart contracts, using RAG to identify vulnerabilities based on ConsenSys's best practices.☆10Aug 30, 2025Updated last year
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆244Dec 7, 2022Updated 3 years ago
- DeeSCVHunter: A Deep Learning-Based Framework for Smart Contract Vulnerability Detection (IJCNN 2021)☆23May 14, 2023Updated 3 years ago
- This repository contains the code for our USENIX Security'25 paper "Evaluating LLM-based Personal Information Extraction and Countermeasu…☆14Feb 14, 2025Updated last year
- 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
- ☆42Jul 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bitwuzla SMT solver repackaged for convenient use in opam.☆11Sep 28, 2026Updated last month
- ☆16Oct 10, 2025Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆645Oct 23, 2026Updated last week
- data and code for paper "CCGIR: Information Retrieval-based Code Comment Generation Method for Smart Contracts", which accepted in KBS. 智…☆17Apr 24, 2022Updated 4 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
- Launch an Ethereum sandbox from the command line☆13Jun 5, 2017Updated 9 years ago
- EVM CFG recovery☆127Jun 29, 2023Updated 3 years ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆205Aug 21, 2023Updated 3 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆62Jun 5, 2022Updated 4 years 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.
- ☆135Jul 27, 2021Updated 5 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 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
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆35Apr 13, 2026Updated 6 months ago
- 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