GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis.
Long HeXiangfu ZhaoYichen WangJiahui YangXuelei SunPublished in: ECAI (2023)
Keyphrases
- static analysis
- neural network
- dynamic analysis
- source code
- detection algorithm
- symbolic execution
- anomaly detection
- directed graph
- regular expressions
- pattern recognition
- test suite
- object detection
- case study
- database
- graph theory
- weighted graph
- java card
- graph structure
- abstract interpretation
- pattern matching
- artificial neural networks
- structured data
- back propagation
- random walk
- information extraction
- query language
- domain knowledge
- test generation
- high level
- malicious code
- metadata
- artificial intelligence