《Checking Smart Contracts with Structural Code Embedding》筆記

摘要： 在本文中提出了一種自動化的方法來學習用Solidity語言編寫的智能合約的特性，這對於檢測代碼克隆、檢測漏洞、合約有效性等有幫助。我們的新方法是基於詞嵌入（word embedding）和向量空間比較（vector space comparison）。我們將智能合約解析成帶有代碼結構化信息的詞流（word stream），將代碼元素（如聲明、函數）轉換成可以用於編碼代碼語法和語義的數字向量

>>阅读原文<<