1、SkyEye。這是一個比較知名的開源虛擬機項目，如果大家在網上用Google和
百度搜索這個項目，可以看到用戶還是比較多的，包括國內或者國外。
2、Androids2e。這個項目主要做的是符號執行，它可以檢測安全漏洞。
大概在去年的時候，
以太坊的智能合約被爆出大概有幾千個漏洞。其實就是用符號執行的方法，把智能合約的好多漏洞都掃描出來了。而我做的這個項目是可以對Android的整個操作系統做符號分析，并且這個項目在華為內部得到使用。
所以，我對操作系統或者說編譯器方面是蠻有經驗的。我想先從系統軟件從業者的角度，分享一些對EOS的看法。
EOS和以太坊很像，EOS很明確的說明它就是一個
區塊鏈的操作系統，BM在博客中也是說過的。
可以這樣比喻，EOS就相當于內置激勵系統的Windows/Linux/MacOS，這是它的一個定位。包括以太坊也有自己的定位，Vitalik在2014年第一次說以太坊想法的時候，他就很明確的說了，以太坊就是一個全球計算機，這些都是創始人本人提出的一個想法。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
