MPro: Combining Static and Symbolic Analysis for Scalable Testing of
Smart Contract

v1v2v3 (latest)

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

1 November 2019

Sebastian Banescu

Steven T. Stewart

ArXiv (abs)PDF HTML

Papers citing "MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract"

6 / 6 papers shown

Title
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
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
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
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
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