Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search

Dongcheng Li, W. Eric Wong, Xiaodan Wang +2

This paper introduces a method for detecting vulnerabilities in smart contracts using static analysis and a multi-objective optimization algorithm. We focus on four types of vulner…