MetaTrustLabs / GPTScan-Web3BugsLinks
Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types
☆12Updated 2 years ago
Alternatives and similar repositories for GPTScan-Web3Bugs
Users that are interested in GPTScan-Web3Bugs are comparing it to the libraries listed below
Sorting:
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆13Updated 2 years ago
 - Indexing three datasets for GPTScan☆62Updated last year
 - EF/CF - Extremely Fast smart Contract Fuzzing☆65Updated 2 years ago
 - Smart contract front-running vulnerability benchmark☆25Updated last year
 - ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆89Updated 10 months ago
 - ☆14Updated 7 months ago
 - Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆51Updated 2 years ago
 - ☆113Updated 2 years ago
 - Fine-tuning GPT for Smart Contract Auditing☆168Updated 2 years ago
 - Public audits☆51Updated last year
 - ☆101Updated 3 years ago
 - JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).☆231Updated 4 years ago
 - ☆54Updated last year
 - A collection of papers and detection tools related to Smart Contract Auditing.☆22Updated last year
 - A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆64Updated 2 years ago
 - This repository contains 47,398 smart contracts extracted from the Ethereum network.☆186Updated 5 years ago
 - ☆45Updated 9 months ago
 - A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆99Updated 2 years ago
 - ☆79Updated 2 years ago
 - SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆82Updated last year
 - Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆19Updated last year
 - Zellic's audits, publications, and reports☆198Updated last week
 - SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆125Updated last year
 - A symbolic execution engine for EVM smart contract binaries.☆115Updated last month
 - AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38Updated 2 years ago
 - Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆155Updated 3 months ago
 - HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆41Updated 3 years ago
 - 🍋 An open dataset containing smart contract audit issues from various sources.☆227Updated last year
 - SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆391Updated 2 years ago
 - A framework for evaluating AI audit agents using recent real-world data☆75Updated last month