Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
Chetan Pathade, Shweta Hooli

TL;DR
This paper presents a large-scale static analysis of nearly 50,000 NFT smart contracts to identify hidden backdoors linked to rug pull scams, providing a risk scoring model and visualizations to aid detection and mitigation.
Contribution
It introduces a novel static analysis framework and risk scoring model to detect latent vulnerabilities and backdoors in NFT smart contracts at scale.
Findings
High prevalence of rug pull indicators in verified contracts
Visualizations reveal clusters of vulnerabilities and risky patterns
Static analysis can uncover hidden backdoors missed by manual reviews
Abstract
The explosive growth of Non-Fungible Tokens (NFTs) has revolutionized digital ownership by enabling the creation, exchange, and monetization of unique assets on blockchain networks. However, this surge in popularity has also given rise to a disturbing trend: the emergence of rug pulls - fraudulent schemes where developers exploit trust and smart contract privileges to drain user funds or invalidate asset ownership. Central to many of these scams are hidden backdoors embedded within NFT smart contracts. Unlike unintentional bugs, these backdoors are deliberately coded and often obfuscated to bypass traditional audits and exploit investor confidence. In this paper, we present a large-scale static analysis of 49,940 verified NFT smart contracts using Slither, a static analysis framework, to uncover latent vulnerabilities commonly linked to rug pulls. We introduce a custom risk scoring…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · FinTech, Crowdfunding, Digital Finance · Security and Verification in Computing
