Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

GPTScan, a tool that combines Generative Pre-training Transformer (GPT) with static analysis, can effectively detect logic vulnerabilities in smart contracts by breaking down vulnerability types into code-level scenarios and properties, and leveraging GPT's code understanding capabilities.