Slither: A Static Analysis Framework For Smart Contracts

26 August 2019

Papers citing "Slither: A Static Analysis Framework For Smart Contracts"

50 / 128 papers shown

Title
Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns Chetan Pathade Shweta Hooli 20 0 0 09 Jun 2025
A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC) Selçuk Topal 37 0 0 25 May 2025
Guiding LLM-based Smart Contract Generation with Finite State Machine Hao Luo Yuhao Lin Xiao Yan Xintong Hu Yanjie Wang Qiming Zeng Hao Wang Jiawei Jiang 56 0 0 13 May 2025
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain LingXiang Wang Hainan Zhang Qinnan Zhang Ziwei Wang Hongwei Zheng Jin Dong Zhiming Zheng 145 0 0 28 Apr 2025
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts Sen Yang Kaihua Qin Aviv Yaish Fan Zhang 61 0 0 18 Apr 2025
Malicious Code Detection in Smart Contracts via Opcode Vectorization Huanhuan Zou Zongwei Li Xiaoqi Li 88 12 0 17 Apr 2025
Exploring Vulnerabilities and Concerns in Solana Smart Contracts Xiangfan Wu Ju Xing Xiaoqi Li 92 1 0 10 Apr 2025
Generative Large Language Model usage in Smart Contract Vulnerability Detection Peter Ince Jiangshan Yu Joseph K. Liu Xiaoning Du 94 0 0 07 Apr 2025
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode Jiuyang Bu Wenkai Li Zongwei Li Zeng Zhang Xiaoqi Li 80 17 0 07 Apr 2025
Secure Smart Contract with Control Flow Integrity Zhiyang Chen Sidi Mohamed Beillahi Pasha Barahimi Cyrus Minwalla Han Du A. Veneris Fan Long 54 0 0 07 Apr 2025
Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis Binbin Zhao Xingshuang Lin Yuan Tian Saman Zonouz Na Ruan Jiliang Li R. Beyah Shouling Ji 95 1 0 31 Mar 2025
Enhanced Smart Contract Reputability Analysis using Multimodal Data Fusion on Ethereum Cyrus Malik Josef Bajada Joshua Ellul 164 0 0 21 Mar 2025
SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair Zaoyu Chen Haoran Qin Nuo Chen Xiangyu Zhao Lei Xue Xiapu Luo Xiao-Ming Wu 105 0 0 03 Mar 2025
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation Guokai Sun Yuan Zhuang Shuo Zhang Xiaoyu Feng Zhenguang Liu Liguo Zhang 71 0 0 24 Feb 2025
A Multi-Agent Framework for Automated Vulnerability Detection and Repair in Solidity and Move Smart Contracts Rabimba Karanjai Sam Blackshear Lei Xu W. Shi 78 1 0 22 Feb 2025
DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning Juantao Zhong Daoyuan Wu Ye Liu Maoyi Xie Yang Liu Yi Li Ning Liu AAML 82 1 0 17 Feb 2025
SmartLLM: Smart Contract Auditing using Custom Generative AI Jun Kevin Pujianto Yugopuspito 54 0 0 17 Feb 2025
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks Bosi Zhang Ningyu He Xiaohui Hu Kai Ma Haoyu Wang AAML 124 2 0 06 Feb 2025
Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities ZeKe Xiao Qin Wang Hammond Pearce Shiping Chen 69 4 0 13 Jan 2025
Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection S M Mostaq Hossain Amani Altarawneh Jesse Roberts 74 1 0 04 Jan 2025
Knowledge Migration Framework for Smart Contract Vulnerability Detection Luqi Wang Wenbao Jiang 117 0 0 15 Dec 2024
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset Chavhan Sujeet Yashavant MitrajSinh Chavda Saurabh Kumar Amey Karkare Angshuman Karmakar 117 0 0 13 Dec 2024
SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework Oualid Zaazaa H. Bakkali 125 3 0 28 Nov 2024
Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis Masoud Jamshidiyan Tehrani Sattar Hashemi 175 0 0 26 Nov 2024
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Sally Junsong Wang Kexin Pei Junfeng Yang 99 14 0 14 Nov 2024
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models Yanwei Yue Jing Chen Ziwei Wang Ruichao Liang Ruiying Du 72 19 0 12 Nov 2024
Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation Lei Yu Shiqi Chen Hang Yuan Peng Wang Zhirong Huang Jing Zhang Chenjie Shen Fengjun Zhang Li Yang Jiajia Ma 77 4 0 09 Nov 2024
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection Zhiyuan Wei Jing Sun Zijiang Zhang Xianhao Zhang Meng Li Zhe Hou 75 5 0 12 Oct 2024
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum Cheng-Kang Chen Wen-Yi Chu Muoi Tran Laurent Vanbever Hsu-Chun Hsiao 47 2 0 20 Sep 2024
Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities Md Tauseef Alam Raju Halder Abyayananda Maiti 70 3 0 15 Sep 2024
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts Che Wang Jiashuo Zhang Jianbo Gao Libin Xia Zhi Guan Zhong Chen 65 11 0 15 Sep 2024
Analyzing the Impact of Copying-and-Pasting Vulnerable Solidity Code Snippets from Question-and-Answer Websites Konrad Weiss Christof Ferreira Torres Florian Wendland 60 1 0 11 Sep 2024
Detecting Buggy Contracts via Smart Testing Sally Junsong Wang Jianan Yao Kexin Pei Hidedaki Takahashi Junfeng Yang 61 2 0 06 Sep 2024
Large Language Model-Based Agents for Software Engineering: A Survey Junwei Liu Kaixin Wang Yixuan Chen Mingwei Liu Zhenpeng Chen Lingming Zhang Xin Peng AI4CE LLMAG LM&Ro 108 61 0 04 Sep 2024
CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection Xiao Chen 53 3 0 27 Aug 2024
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis Dalila Ressi Alvise Spanò Lorenzo Benetollo Carla Piazza M. Bugliesi Sabina Rossi 67 5 0 26 Jul 2024
Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor Khalid Hassan Saeed Moradi Shaiful Chowdhury Sara Rouhani 49 0 0 22 Jul 2024
Retrieval Augmented Generation Integrated Large Language Models in Smart Contract Vulnerability Detection Jeffy Yu 57 3 0 20 Jul 2024
Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models Peter Ince Xiapu Luo Jiangshan Yu Joseph K. Liu Xiaoning Du ELM 55 6 0 12 Jul 2024
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols Hongbo Wen Hanzhi Liu Jiaxin Song Yanju Chen Wenbo Guo Yu Feng AAML 49 3 0 08 Jul 2024
Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities Yizhou Chen 51 2 0 07 Jul 2024
Dual-view Aware Smart Contract Vulnerability Detection for Ethereum Jiacheng Yao Maolin Wang Wanqi Chen Chengxiang Jin Jiajun Zhou Shanqing Yu Qi Xuan 79 0 0 29 Jun 2024
Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models M. Soud Waltteri Nuutinen Grischa Liebel AAML 61 4 0 24 Jun 2024
DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks Dabao Wang Bang Wu Xingliang Yuan Lei Wu Yajin Zhou Helei Cui 47 3 0 17 Jun 2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection J. Su Jiachi Chen Zhiyuan Fang Xingwei Lin Yutian Tang Zibin Zheng 52 0 0 14 Jun 2024
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts Tianle Sun Ningyu He Jiang Xiao Yinliang Yue Xiapu Luo Haoyu Wang 49 4 0 31 May 2024
Temporarily Restricting Solidity Smart Contract Interactions Valerian Callens Zeeshan Meghji J. Gorzny 59 5 0 15 May 2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 98 27 0 04 May 2024
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection Yizhou Chen Zeyu Sun Zhihao Gong Dan Hao AAML 67 16 0 27 Apr 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 84 12 0 22 Apr 2024