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
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 90 0 0 08 Apr 2024
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 52 3 0 28 Mar 2024
DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts Gabriele Morello Mojtaba Eshghie Sofia Bobadilla Martin Monperrus 45 3 0 25 Mar 2024
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts Lyuye Zhang Kaixuan Li Kairan Sun Daoyuan Wu Ye Liu Haoye Tian Yang Liu 98 24 0 11 Mar 2024
Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on Chain of Thought Yuying Du Xueyan Tang 37 6 0 19 Feb 2024
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools Zexu Wang Jiachi Chen Zibin Zheng Peilin Zheng Yu Zhang Weizhe Zhang 58 6 0 14 Feb 2024
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models Chaofan Shou Jing Liu Doudou Lu Koushik Sen 75 14 0 20 Jan 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 Dec 2023
Trusting a Smart Contract Means Trusting Its Owners: Understanding Centralization Risk Metin Lamby Valentin Zieglmeier Christian Ziegler 50 4 0 11 Dec 2023
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Yanbin Wang Lun Zhang Yanbin Wang Jianhai Chen Qinming He 79 5 0 07 Dec 2023
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 99 8 0 01 Nov 2023
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Meng Li Liehuang Zhu ELM 57 2 0 31 Oct 2023
Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives Sihao Hu Tiansheng Huang Fatih İlhan Selim Furkan Tekin Ling Liu 95 56 0 02 Oct 2023
Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts Soroush Farokhnia 53 4 0 20 Sep 2023
Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding André Storhaug Jingyue Li Tianyuan Hu AAML 84 15 0 18 Sep 2023
VulnSense: Efficient Vulnerability Detection in Ethereum Smart Contracts by Multimodal Learning with Graph Neural Network and Language Model Phan The Duy Nghi Hoang Khoa N. H. Quyen Le Cong Trinh V. Kiên Trinh Minh Hoang V. Pham 48 10 0 15 Sep 2023
Two Timin': Repairing Smart Contracts With A Two-Layered Approach Abhinav Jain Ehan Masud Michelle Han Rohan Dhillon Sumukh Rao Arya Joshi Salar Cheema Saurav Kumar 68 0 0 14 Sep 2023
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 104 8 0 05 Sep 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 64 96 0 07 Aug 2023
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit Pengxiang Ma Ningyu He Yuhua Huang Haoyu Wang Xiapu Luo 55 5 0 02 Jul 2023
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract Chaofan Shou Shangyin Tan Koushik Sen 51 62 0 29 Jun 2023
Do you still need a manual smart contract audit? Isaac David Liyi Zhou Kaihua Qin Basel Alomair Lorenzo Cavallaro Arthur Gervais 80 51 0 21 Jun 2023
Vulnerable Smart Contract Function Locating Based on Multi-Relational Nested Graph Convolutional Network Haiyang Liu Yuqi Fan Lin Feng Zhenchun Wei 48 12 0 07 Jun 2023
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts Chihiro Kado Naoto Yanai Jason Paul Cruz Kyosuke Yamashita Shingo Okamura 57 0 0 07 Jun 2023
SourceP: Detecting Ponzi Schemes on Ethereum with Source Code Pengcheng Lu Liang Cai Keting Yin AI4TS 82 4 0 02 Jun 2023
Definition and Detection of Defects in NFT Smart Contracts Shuo Yang Jiachi Chen Zibin Zheng 56 26 0 25 May 2023
LMs: Understanding Code Syntax and Semantics for Code Analysis Wei Ma Shangqing Liu Zhihao Lin Wenhan Wang Q. Hu Ye Liu Cen Zhang Liming Nie Li Li Yang Liu 124 16 0 20 May 2023
HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model M. Khodadadi J. Tahmoresnezhad 47 4 0 25 Apr 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 65 26 0 25 Apr 2023
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection Peng Qian Jianting He Lingling Lu Siwei Wu Zhipeng Lu Lei Wu Yajin Zhou Qinming He 53 16 0 25 Apr 2023
Schooling to Exploit Foolish Contracts Tamer Abdelaziz Aquinas Hobor 80 1 0 21 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 62 7 0 21 Apr 2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 42 19 0 13 Apr 2023
Analyzing the Impact of Elusive Faults on Blockchain Reliability F. Vidal N. Ivaki N. Laranjeiro 39 1 0 11 Apr 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Stefanos Chaliasos Marcos Antonios Charalambous Liyi Zhou R. Galanopoulou Arthur Gervais Dimitris Mitropoulos B. Livshits 66 42 0 06 Apr 2023
The Blockchain Imitation Game Kaihua Qin Stefanos Chaliasos Liyi Zhou B. Livshits Basel Alomair Arthur Gervais AAML 72 32 0 31 Mar 2023
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 41 17 0 25 Mar 2023
Of Degens and Defrauders: Using Open-Source Investigative Tools to Investigate Decentralized Finance Frauds and Money Laundering Arianna Trozze Toby P Davies Bennett Kleinberg 57 13 0 01 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 89 40 0 14 Feb 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 87 13 0 15 Jan 2023
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting Zhenguang Liu Peng Qian Jiaxu Yang Lingfeng Liu Xiaojun Xu Qinming He Xiaosong Zhang 67 63 0 10 Jan 2023
AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes M. Soud I. Qasse Grischa Liebel Mohammad Hamdaqa 46 8 0 20 Dec 2022
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
Deep Smart Contract Intent Detection Youwei Huang Tao Zhang Sen Fang Youshuai Tan 45 4 0 19 Nov 2022
An Empirical Study on Real Bug Fixes from Solidity Smart Contract Projects Y. Wang Xiangping Chen Yuan Huang Hao-Nan Zhu Jing Bian Zibin Zheng LRM 29 11 0 21 Oct 2022
Smart Contract Vulnerability Detection Technique: A Survey Peng Qian Zhenguang Liu Qinming He Butian Huang Duanzheng Tian Xun Wang 61 57 0 13 Sep 2022
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities Hoang H. Nguyen Nhat-Minh Nguyen Chunyao Xie Zahra Ahmadi Daniel Kudendo Thanh-Nam Doan Lingxiao Jiang 65 21 0 28 Aug 2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 65 1 0 27 Aug 2022
An Empirical Study on Ethereum Private Transactions and the Security Implications Xing-Long Lyu Mengya Zhang Xiaokuan Zhang Jianyu Niu Yinqian Zhang Zhiqiang Lin 91 21 0 04 Aug 2022
ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities Chavhan Sujeet Yashavant Saurabh Kumar Amey Karkare 66 22 0 23 Feb 2022