☆15May 17, 2019Updated 7 years ago
Alternatives and similar repositories for SoliAudit
Users that are interested in SoliAudit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆17Jun 23, 2020Updated 6 years ago
- ☆37Mar 26, 2021Updated 5 years ago
- A Sequence Learning Approach to Detecting Vulnerabilities☆49Nov 17, 2021Updated 4 years ago
- A Tool for clone detection and bug detection in smart contracts☆109May 13, 2023Updated 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
- 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.
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆212Jun 3, 2020Updated 6 years 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
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆18Dec 28, 2024Updated last year
- ☆46Jul 29, 2021Updated 5 years ago
- 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
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆46Dec 15, 2021Updated 4 years ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆205Aug 21, 2023Updated 3 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆81Jun 16, 2022Updated 4 years ago
- ☆31Jan 4, 2023Updated 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.
- ☆10Sep 24, 2019Updated 7 years ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆690Oct 27, 2026Updated last week
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆60May 11, 2021Updated 5 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆52Feb 28, 2023Updated 3 years ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆121Feb 28, 2023Updated 3 years ago
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆27Oct 12, 2024Updated 2 years ago
- Ethereum ERC-20 Test Standard Token (TST)☆10Mar 14, 2025Updated last year
- Mecha SDK of Cloud Application Api. Let the code achieve "write once, run anywhere". With the help of the Capa project, your Java applic…☆17Jul 22, 2026Updated 3 months ago
- Smart contract auditing assistant tool for Truffle Framework.☆17Dec 9, 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.
- BGNN4VD: Constructing Bidirectional Graph Neural-Network for Vulnerability Detection☆10Oct 2, 2020Updated 6 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
- 一个可扩展的智能合约安全审计工具☆13Oct 13, 2020Updated 6 years ago
- ☆26Apr 25, 2024Updated 2 years ago
- Python library for accessing SWC-registry content☆11Jul 24, 2023Updated 3 years ago
- ☆11Oct 31, 2025Updated last year
- ☆24May 13, 2024Updated 2 years ago
- Smart contract vulnerability detection using graph neural network (DR-GCN).☆155Feb 28, 2023Updated 3 years ago
- ☆29Dec 28, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Feb 22, 2024Updated 2 years ago
- ☆14Jun 28, 2026Updated 4 months ago
- LSTM-based smart contract reentry vulnerability detection.☆10Apr 14, 2019Updated 7 years ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆64Mar 7, 2023Updated 3 years ago
- ☆15Jan 23, 2020Updated 6 years ago
- This repository contains 50,000 smart contracts extracted from the Ethereum network.☆20Mar 1, 2022Updated 4 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago