Indexing three datasets for GPTScan
☆65Jun 11, 2024Updated last year
Alternatives and similar repositories for GPTScan
Users that are interested in GPTScan are comparing it to the libraries listed below
Sorting:
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆94Dec 11, 2024Updated last year
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆13Aug 8, 2023Updated 2 years ago
- ☆63Jul 11, 2024Updated last year
- ☆24May 13, 2024Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆141Oct 2, 2025Updated 4 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- Language models for Coq based on data collected from the coq lsp.☆28Updated this week
- Automating LTV Percentage☆10Jun 7, 2021Updated 4 years ago
- Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)☆111Jun 18, 2024Updated last year
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆25Dec 11, 2023Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated 11 months ago
- Fine-tuning GPT for Smart Contract Auditing☆165Apr 23, 2023Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆30Sep 16, 2021Updated 4 years ago
- Library for constructing data-centric processing pipelines☆12Updated this week
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- The runtime monitoring tool for smart contracts business logic.☆18Dec 15, 2024Updated last year
- LLM for System/Software Security☆23Dec 29, 2024Updated last year
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated 10 months ago
- ☆10Feb 20, 2024Updated 2 years ago
- ☆16Aug 15, 2019Updated 6 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 8 years ago
- ☆14Mar 30, 2025Updated 11 months ago
- ☆15Aug 16, 2021Updated 4 years ago
- ☆37Apr 14, 2025Updated 10 months ago
- ☆64Jan 4, 2023Updated 3 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 6 months ago
- One-stop yield farming platform on TON blockchain☆17May 21, 2024Updated last year
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Dec 28, 2024Updated last year
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆660Jan 16, 2026Updated last month
- Asynchronous TON Center client SDK (V2, V3) with subscription services, transaction flows, parallel processing, and debug tools.☆19Mar 1, 2024Updated last year
- analysis java dependence and store in neo4j☆18Oct 22, 2018Updated 7 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆131Jun 16, 2024Updated last year
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated last year