Indexing three datasets for GPTScan
☆66Jun 11, 2024Updated 2 years ago
Alternatives and similar repositories for GPTScan
Users that are interested in GPTScan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆106Dec 11, 2024Updated last year
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆17Aug 8, 2023Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆16Aug 8, 2023Updated 3 years ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- ☆11Mar 7, 2024Updated 2 years ago
- 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.
- ☆24May 13, 2024Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆104Oct 11, 2023Updated 3 years ago
- ☆22Apr 17, 2023Updated 3 years ago
- ☆71Jul 11, 2024Updated 2 years ago
- Metatrust fork of Slither Analyzer☆88May 31, 2024Updated 2 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
- ☆12Jun 7, 2024Updated 2 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- ☆13May 19, 2024Updated 2 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.
- ☆12Jul 19, 2025Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated last year
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- A resource leak repository☆12Jan 6, 2026Updated 9 months ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆689Oct 16, 2026Updated 2 weeks ago
- Smart contract front-running vulnerability benchmark☆27Dec 11, 2023Updated 2 years ago
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆25Aug 23, 2022Updated 4 years ago
- LLM Fuzzing☆11Jul 11, 2025Updated last year
- ☆47Nov 14, 2024Updated last year
- 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.
- ☆30Sep 16, 2021Updated 5 years ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆645Oct 23, 2026Updated last week
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated last year
- Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)☆115Jun 18, 2024Updated 2 years ago
- Language models for Coq based on data collected from the coq lsp.☆32Feb 23, 2026Updated 8 months ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆23Sep 4, 2026Updated last month
- 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.
- ☆69Aug 17, 2022Updated 4 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆83Mar 25, 2025Updated last year
- The runtime monitoring tool for smart contracts business logic.☆19Dec 15, 2024Updated last year
- ☆16Aug 15, 2019Updated 7 years ago
- One-stop yield farming platform on TON blockchain☆18May 21, 2024Updated 2 years ago
- Fine-tuning GPT for Smart Contract Auditing☆165Apr 23, 2023Updated 3 years ago
- ☆14Aug 4, 2023Updated 3 years ago