GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
ICSE '24 Proceedings of the IEEE/ACM 46th International Conference on Software Engineering（2024）
关键词
Smart Contracts,Vulnerabilities In Smart Contracts,False Positive,Larger Project,Static Analysis,High False Positives,Types Of Vulnerabilities,Semantic,False Negative,Source Code,Flow Data,False Alarm,General Questions,Reachable,Access Control,False Alarm Rate,False Positive Cases,False Negative Cases,Function Calls,Price Manipulation,Wrong Order,Control Flow Graph,Call Graph,Whitelist,Vulnerability Functions,Filtering Rules,Business Logic,Conditional Statements,Temperature Parameters
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要