Checking Smart Contracts With Structural Code Embedding.

Zhipeng Gao Lingxiao Jiang Xin Xia David Lo John Grundy

Published in: IEEE Trans. Software Eng. (2021)

Keyphrases

source code
vector space
structural information
binary codes
supply chain
code generation
decision making
open source
error correcting
neural network
case study
structural features
structural analysis
moral hazard
robust image watermarking