Naixiang Gou

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution

2024 · Security and Privacy

ABSTRACT Smart contracts are turing‐complete computer programs running on blockchains. Like traditional programs, smart contracts are also vulnerable. However, unlike traditional programs, it is very difficult to modify smart contracts once they are deployed on …