ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1908.09878
  4. Cited By
Slither: A Static Analysis Framework For Smart Contracts

Slither: A Static Analysis Framework For Smart Contracts

International Workshop on Emerging Trends in Software Engineering for Blockchain (ETSEB), 2019
26 August 2019
Josselin Feist
Gustavo Grieco
Alex Groce
ArXiv (abs)PDFHTML

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

50 / 159 papers shown
AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs
AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs
Xiaoqi Li
Zongwei Li
Wenkai Li
Zeng Zhang
Lei Xie
154
6
0
02 Dec 2025
Large Language Model based Smart Contract Auditing with LLMBugScanner
Large Language Model based Smart Contract Auditing with LLMBugScanner
Yining Yuan
Yifei Wang
Yichang Xu
Zachary Yahn
Sihao Hu
Ling Liu
116
0
0
29 Nov 2025
SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
L. Chen
Ruibin Yan
Taiyu Wong
Y. Chen
Chao Zhang
Chao Zhang
272
4
0
17 Nov 2025
Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
Jie Chen
Liangmin Wang
134
0
0
15 Nov 2025
Prompt Engineering vs. Fine-Tuning for LLM-Based Vulnerability Detection in Solana and Algorand Smart Contracts
Prompt Engineering vs. Fine-Tuning for LLM-Based Vulnerability Detection in Solana and Algorand Smart ContractsInternational Conference on Blockchain Computing and Applications (BCCA), 2025
Biagio Boi
Christian Esposito
90
0
0
14 Nov 2025
Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract AnalysisIEEE Transactions on Information Forensics and Security (TIFS), 2025
Xiaoqi Li
Wenkai Li
Zhiquan Liu
Yuqing Zhang
Yingjie Mao
AAML
271
9
0
01 Nov 2025
LLM-Powered Detection of Price Manipulation in DeFi
LLM-Powered Detection of Price Manipulation in DeFi
Lu-Chi Liu
Wuqi Zhang
Lili Wei
Hao Guan
Yongqiang Tian
Yepang Liu
160
1
0
24 Oct 2025
TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
Hadis Rezaei
Ahmed Afif Monrat
Karl Andersson
Francesco Flammini
145
1
0
21 Oct 2025
Coinvisor: An RL-Enhanced Chatbot Agent for Interactive Cryptocurrency Investment Analysis
Coinvisor: An RL-Enhanced Chatbot Agent for Interactive Cryptocurrency Investment Analysis
Chong Chen
Ze Liu
Lingfeng Bao
Yanlin Wang
Ting Chen
Daoyuan Wu
Jiachi Chen
90
1
0
20 Oct 2025
ParaVul: A Parallel Large Language Model and Retrieval-Augmented Framework for Smart Contract Vulnerability Detection
ParaVul: A Parallel Large Language Model and Retrieval-Augmented Framework for Smart Contract Vulnerability Detection
Tenghui Huang
Jinbo Wen
Jiawen Kang
Siyong Chen
Z. Li
...
Dongning Liu
Jiacheng Wang
Chengjun Cai
Yinqiu Liu
Dusit Niyato
142
0
0
20 Oct 2025
Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
Chunyi Zhang
Qinghong Wei
Xiaoqi Li
234
5
0
04 Oct 2025
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
Yury Yanovich
Victoria Kovalevskaya
Maksim Egorov
Elizaveta Smirnova
Matvey Mishuris
Yash Madhwal
Kirill Ziborov
Vladimir Gorgadze
Subodh Sharma
80
0
0
29 Sep 2025
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
Izaiah Sun
Daniel Tan
Andy Deng
63
1
0
29 Sep 2025
Curriculum-Guided Reinforcement Learning for Synthesizing Gas-Efficient Financial Derivatives Contracts
Curriculum-Guided Reinforcement Learning for Synthesizing Gas-Efficient Financial Derivatives Contracts
Maruf Ahmed Mridul
Oshani Seneviratne
121
1
0
28 Sep 2025
Revealing Adversarial Smart Contracts through Semantic Interpretation and Uncertainty Estimation
Revealing Adversarial Smart Contracts through Semantic Interpretation and Uncertainty Estimation
Yating Liu
Xing Su
Hao Wu
Sijin Li
Y. Cheng
Fengyuan Xu
Sheng Zhong
AAML
281
0
0
23 Sep 2025
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language ModelsElectronic Proceedings in Theoretical Computer Science (EPTCS), 2025
Ştefan-Claudiu Susan
Andrei Arusoaie
Dorel Lucanu
192
0
0
16 Sep 2025
From Paradigm Shift to Audit Rift: Exploring Vulnerabilities and Audit Tips for TON Smart Contracts
From Paradigm Shift to Audit Rift: Exploring Vulnerabilities and Audit Tips for TON Smart Contracts
Yury Yanovich
Sergey Sobolev
Yash Madhwal
Kirill Ziborov
Vladimir Gorgadze
Victoria Kovalevskay
Elizaveta Smirnova
Matvey Mishuris
Subodh Sharma
112
1
0
13 Sep 2025
ExDoS: Expert-Guided Dual-Focus Cross-Modal Distillation for Smart Contract Vulnerability Detection
ExDoS: Expert-Guided Dual-Focus Cross-Modal Distillation for Smart Contract Vulnerability Detection
Yifan Jia
Ye Tian
Yanbin Wang
Jianguo Sun
Haitao Xu
Xin Wang
Zhihua Fu
AAML
124
1
0
12 Sep 2025
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
Shuzheng Wang
Yue Huang
Zhuoer Xu
Yuming Huang
Jing Tang
143
1
0
03 Sep 2025
MoveScanner: Analysis of Security Risks of Move Smart Contracts
MoveScanner: Analysis of Security Risks of Move Smart Contracts
Yuhe Luo
Zhongwen Li
Xiaoqi Li
265
10
0
25 Aug 2025
NATLM: Detecting Defects in NFT Smart Contracts Leveraging LLM
NATLM: Detecting Defects in NFT Smart Contracts Leveraging LLM
Yuanzheng Niu
Xiaoqi Li
Wenkai Li
262
12
0
02 Aug 2025
Prompt to Pwn: Automated Exploit Generation for Smart Contracts
Prompt to Pwn: Automated Exploit Generation for Smart Contracts
ZeKe Xiao
Yuekang Li
Qin Wang
S. Chen
291
5
0
02 Aug 2025
UEChecker: Detecting Unchecked External Call Vulnerabilities in DApps via Graph Analysis
UEChecker: Detecting Unchecked External Call Vulnerabilities in DApps via Graph Analysis
D. Kong
Xiaoqi Li
Wenkai Li
146
11
0
02 Aug 2025
SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
Lei Yu
Shiqi Cheng
Zhirong Huang
Jingyuan Zhang
Chenjie Shen
Junyi Lu
Li Yang
Fengjun Zhang
Jiajia Ma
AAML
177
3
0
30 Jul 2025
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Yannis Smaragdakis
Neville Grech
Sifis Lagouvardos
Konstantinos Triantafyllou
Ilias Tsatiris
Yannis Bollanos
Tony Rocco Valentine
270
4
0
28 Jul 2025
SoK: Root Cause of $1 Billion Loss in Smart Contract Real-World Attacks via a Systematic Literature Review of Vulnerabilities
SoK: Root Cause of $1 Billion Loss in Smart Contract Real-World Attacks via a Systematic Literature Review of Vulnerabilities
Hadis Rezaei
Mojtaba Eshghie
Karl Anderesson
Francesco Palmieri
278
5
0
27 Jul 2025
GasAgent: A Multi-Agent Framework for Automated Gas Optimization in Smart Contracts
GasAgent: A Multi-Agent Framework for Automated Gas Optimization in Smart Contracts
Jingyi Zheng
Zifan Peng
Yule Liu
Junfeng Wang
Yifan Liao
Wenhan Dong
Xinlei He
LLMAG
183
3
0
21 Jul 2025
AI Agent Smart Contract Exploit Generation
AI Agent Smart Contract Exploit Generation
Arthur Gervais
Liyi Zhou
LLMAG
502
7
0
08 Jul 2025
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
Atefeh Zareh Chahoki
Marco Roveri
209
1
0
06 Jul 2025
Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
Chetan Pathade
Shweta Hooli
234
0
0
09 Jun 2025
A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC)
A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC)
Selçuk Topal
263
0
0
25 May 2025
Guiding LLM-based Smart Contract Generation with Finite State Machine
Guiding LLM-based Smart Contract Generation with Finite State MachineInternational Joint Conference on Artificial Intelligence (IJCAI), 2025
Hao Luo
Yuhao Lin
Xiao Yan
Xintong Hu
Yanjie Wang
Qiming Zeng
Hao Wang
Jiawei Jiang
321
6
0
13 May 2025
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
LingXiang Wang
Hainan Zhang
Qinnan Zhang
Ziwei Wang
Hongwei Zheng
Yongxin Tong
Zhiming Zheng
432
6
0
28 Apr 2025
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
Sen Yang
Kaihua Qin
Aviv Yaish
Fan Zhang
293
2
0
18 Apr 2025
Malicious Code Detection in Smart Contracts via Opcode Vectorization
Malicious Code Detection in Smart Contracts via Opcode Vectorization
Huanhuan Zou
Zongwei Li
Xiaoqi Li
278
33
0
17 Apr 2025
Exploring Vulnerabilities and Concerns in Solana Smart Contracts
Exploring Vulnerabilities and Concerns in Solana Smart Contracts
Xiangfan Wu
Ju Xing
Xiaoqi Li
355
14
0
10 Apr 2025
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
Atefeh Zareh Chahoki
Maurice Herlihy
Marco Roveri
396
2
0
09 Apr 2025
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
Jiuyang Bu
Wenkai Li
Zongwei Li
Zeng Zhang
Xiaoqi Li
430
34
0
07 Apr 2025
Generative Large Language Model usage in Smart Contract Vulnerability Detection
Generative Large Language Model usage in Smart Contract Vulnerability Detection
Peter Ince
Jiangshan Yu
Joseph K. Liu
Xiaoning Du
313
4
0
07 Apr 2025
Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
Jiuyang Bu
Wenkai Li
Zongwei Li
Zeng Zhang
Xiaoqi Li
333
33
0
07 Apr 2025
Enforcing Control Flow Integrity on DeFi Smart Contracts
Enforcing Control Flow Integrity on DeFi Smart Contracts
Zhiyang Chen
Sidi Mohamed Beillahi
Pasha Barahimi
Cyrus Minwalla
Han Du
A. Veneris
Fan Long
174
0
0
07 Apr 2025
PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
Xingshuang Lin
Xingshuang Lin
Yuan Tian
Yuan Tian
Na Ruan
Na Ruan
Jiliang Li
R. Beyah
S. Ji
350
1
0
31 Mar 2025
Enhanced Smart Contract Reputability Analysis using Multimodal Data Fusion on Ethereum
Enhanced Smart Contract Reputability Analysis using Multimodal Data Fusion on Ethereum
Cyrus Malik
Josef Bajada
Joshua Ellul
393
1
0
21 Mar 2025
Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
Zaoyu Chen
Haoran Qin
Polydoros Giannouris
Xiangyu Zhao
Lei Xue
Xiapu Luo
Xiao-Ming Wu
305
2
0
03 Mar 2025
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge TranslationAAAI Conference on Artificial Intelligence (AAAI), 2025
Guokai Sun
Yuan Zhuang
Shuo Zhang
Xiaoyu Feng
Zhenguang Liu
Liguo Zhang
168
5
0
24 Feb 2025
Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
Rabimba Karanjai
Sam Blackshear
Lei Xu
396
3
0
22 Feb 2025
Detecting Various DeFi Price Manipulations with LLM Reasoning
Detecting Various DeFi Price Manipulations with LLM Reasoning
Juantao Zhong
Daoyuan Wu
Ye Liu
Maoyi Xie
Yang Liu
Yi Li
Ning Liu
AAML
423
4
0
17 Feb 2025
SmartLLM: Smart Contract Auditing using Custom Generative AI
SmartLLM: Smart Contract Auditing using Custom Generative AI
Jun Kevin
Pujianto Yugopuspito
194
11
0
17 Feb 2025
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
Bosi Zhang
Ningyu He
Xiaohui Hu
Kai Ma
Haoyu Wang
AAML
659
7
0
06 Feb 2025
Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
Logic Meets Magic: LLMs Cracking Smart Contract VulnerabilitiesInternational Conference on Blockchain (ICB), 2025
ZeKe Xiao
Qin Wang
Hammond Pearce
Shiping Chen
345
8
0
13 Jan 2025
1234
Next
Page 1 of 4