Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types
☆16Aug 8, 2023Updated 3 years ago
Alternatives and similar repositories for GPTScan-DefiHacks
Users that are interested in GPTScan-DefiHacks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆17Aug 8, 2023Updated 3 years ago
- ☆20Mar 30, 2025Updated last year
- smart contracts deployed on Ethereum, one per skeleton☆12Mar 10, 2024Updated 2 years ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated 2 years ago
- 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.
- Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)☆115Jun 18, 2024Updated 2 years ago
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated last year
- ☆71Jul 11, 2024Updated 2 years ago
- FORGE Curated: A Curated EVM Smart Contracts Vulnerability Dataset☆21Oct 11, 2026Updated 2 weeks ago
- Automate the Bobcat miner from the command line.☆10Oct 25, 2022Updated 4 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Dec 16, 2024Updated last year
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 years ago
- ☆10Nov 17, 2023Updated 2 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year
- 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.
- ☆14Dec 31, 2021Updated 4 years ago
- Metatrust fork of Slither Analyzer☆88May 31, 2024Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- Chrome extension which sets cookies in bulk from raw header text☆11Mar 2, 2023Updated 3 years ago
- Source code for EMSE 2023 paper "Zero-Shot Code Representation Learning via Prompt Tuning"☆13Feb 15, 2023Updated 3 years ago
- python soap server example☆10Feb 10, 2024Updated 2 years ago
- ☆39Apr 14, 2025Updated last year
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆106Dec 11, 2024Updated last year
- Smart Contracts for decentralized access control for IoT data using Blockchain and trusted oracles☆11Apr 14, 2019Updated 7 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.
- Vibe Dumper automates the process of discovering Supabase instances in JavaScript files and testing their security posture. If a JWT toke…☆12Jan 25, 2026Updated 9 months ago
- ☆19Jan 16, 2024Updated 2 years ago
- Accord Project Cicero contracts on Hyperledger Fabric v2☆14Dec 22, 2022Updated 3 years ago
- ☆47Nov 14, 2024Updated last year
- Pin files for contextual, codebase-level AI assistance.☆16Jul 11, 2024Updated 2 years ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated last year
- A collection of (public) specifications in different formalisms.☆20Mar 6, 2024Updated 2 years ago
- Generate Solidity Code from its AST☆15Sep 1, 2016Updated 10 years ago
- ☆10Mar 28, 2024Updated 2 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.
- Common contracts for foundry projects.☆10Jan 12, 2025Updated last year
- ✨ Solidity Language Lexer and Parser, generated by official ANTLR4 grammar.☆18Feb 2, 2024Updated 2 years ago
- [ACL 2025 Findings]☆15Aug 17, 2025Updated last year
- ☆39Dec 21, 2022Updated 3 years ago
- 𝑺𝒕𝒓𝒊𝒌𝒆𝑩𝑶𝑻 𝒊𝒔 𝒂 𝒔𝒕𝒓𝒐𝒏𝒈 𝑺𝒐𝒍𝒂𝒏𝒂 𝑻𝒓𝒂𝒅𝒊𝒏𝒈 𝒃𝒐𝒕 𝒇𝒐𝒓 𝒎𝒂𝒔𝒔𝒊𝒗𝒆 𝒓𝒆𝒗𝒆𝒏𝒖𝒆.☆16Mar 11, 2026Updated 7 months ago
- A controller for managing QEMU virtual machines created through Syzkaller's create-image.sh.☆13Sep 18, 2026Updated last month
- An IDE for Symboleo, a formal contract specification language.☆19Oct 10, 2024Updated 2 years ago