《Checking Smart Contracts with Structural Code Embedding》笔记

摘要： 在本文中提出了一种自动化的方法来学习用Solidity语言编写的智能合约的特性，这对于检测代码克隆、检测漏洞、合约有效性等有帮助。我们的新方法是基于词嵌入（word embedding）和向量空间比较（vector space comparison）。我们将智能合约解析成带有代码结构化信息的词流（word stream），将代码元素（如声明、函数）转换成可以用于编码代码语法和语义的数字向量

>>阅读原文<<