1、SkyEye。这是一个比较知名的开源虚拟机项目，如果大家在网上用Google和
百度搜索这个项目，可以看到用户还是比较多的，包括国内或者国外。
2、Androids2e。这个项目主要做的是符号执行，它可以检测安全漏洞。
大概在去年的时候，
以太坊的智能合约被爆出大概有几千个漏洞。其实就是用符号执行的方法，把智能合约的好多漏洞都扫描出来了。而我做的这个项目是可以对Android的整个操作系统做符号分析，并且这个项目在华为内部得到使用。
所以，我对操作系统或者说编译器方面是蛮有经验的。我想先从系统软件从业者的角度，分享一些对EOS的看法。
EOS和以太坊很像，EOS很明确的说明它就是一个
区块链的操作系统，BM在博客中也是说过的。
可以这样比喻，EOS就相当于内置激励系统的Windows/Linux/MacOS，这是它的一个定位。包括以太坊也有自己的定位，Vitalik在2014年第一次说以太坊想法的时候，他就很明确的说了，以太坊就是一个全球计算机，这些都是创始人本人提出的一个想法。
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
