Definition and Detection of Defects in NFT Smart Contracts
☆28Aug 31, 2025Updated 6 months ago
Alternatives and similar repositories for nftdefects
Users that are interested in nftdefects are comparing it to the libraries listed below
Sorting:
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆22Apr 2, 2023Updated 2 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 4 months ago
- Smart contract front-running vulnerability benchmark☆25Dec 11, 2023Updated 2 years ago
- ☆12Sep 19, 2024Updated last year
- ☆13Sep 23, 2025Updated 5 months ago
- ☆30Dec 28, 2024Updated last year
- a backdoor detection tool for Ethereum ERC token contract☆12Jun 17, 2022Updated 3 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆22Dec 10, 2025Updated 2 months ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Jan 22, 2024Updated 2 years ago
- [ICLR 2024] EX-Graph: A Pioneering Dataset Bridging Ethereum and X https://openreview.net/pdf?id=juE0rWGCJW☆23Sep 30, 2024Updated last year
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- ☆12Sep 8, 2025Updated 5 months ago
- STEPN用のBOT☆10Apr 11, 2022Updated 3 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- A curated list of awesome decentralized VPN (dVPN) resources, libraries, repos, tools and more.☆10Jun 15, 2023Updated 2 years ago
- ☆10Sep 20, 2022Updated 3 years ago
- duetector🔍: Data Usage Extensible Detector for data usage observability.☆12Jan 19, 2026Updated last month
- Compiling deep learning research papers applied to smart contract analysis☆10Oct 11, 2023Updated 2 years ago
- BH hackathon☆14Apr 4, 2024Updated last year
- Deprecated - use https://github.com/hooperben/noir-hardhat-template-v2☆16Aug 5, 2024Updated last year
- Network Traffic Classification with Graph Neural Networks☆11Nov 4, 2023Updated 2 years ago
- ☆14Jan 24, 2023Updated 3 years ago
- Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"☆11Dec 20, 2022Updated 3 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- Source code for EMSE 2023 paper "Zero-Shot Code Representation Learning via Prompt Tuning"☆13Feb 15, 2023Updated 3 years ago
- ☆49Jan 14, 2025Updated last year
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆194Jun 3, 2020Updated 5 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆617Feb 18, 2026Updated last week
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated 11 months ago
- Ethereum smart contract similarity measurement at the basic block level based on triplet netwok☆11Feb 24, 2021Updated 5 years ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated last year
- ☆10Jan 18, 2025Updated last year