Smart Contract Vulnerability Detection Based on AST-Augmented Heterogeneous Graphs | IEEE Conference Publication | IEEE Xplore