Slither: A Static Analysis Framework For Smart Contracts

26 August 2019

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

6 / 6 papers shown

Title
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 98 0 0 28 Apr 2025
Enhanced Smart Contract Reputability Analysis using Multimodal Data Fusion on Ethereum Cyrus Malik Josef Bajada Joshua Ellul 103 0 0 21 Mar 2025
Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis Masoud Jamshidiyan Tehrani Sattar Hashemi 132 0 0 26 Nov 2024
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 67 0 0 08 Apr 2024
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 46 915 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 591 0 16 Feb 2018