When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.
Yuqiang SunDaoyuan WuYue XueHan LiuHaijun WangZhengzi XuXiaofei XieYang LiuPublished in: CoRR (2023)
Keyphrases
- automatic detection
- detection accuracy
- detection algorithm
- data sets
- logic programming
- false alarms
- false positives
- modal logic
- detection method
- event detection
- information security
- attack graphs
- security vulnerabilities
- attack detection
- multi valued
- target detection
- inference rules
- context aware
- supply chain
- knowledge representation
- image sequences
- information systems
- computer vision
- neural network