使用oyente智能检测工具总结

一. 安装过程

首先明确安装的前提：oyente工具需要使用Linux环境，在日常使用的windows系统中，无法进行操作

1.进行双系统安装

也就是开机时可以进行双系统的选择，比如切换到window系统或Linux系统，在切换到Linux再进行oyente工具安装，但风险较大

2.进行虚拟机安装

虚拟机相当于占用一部分主机内存，生成虚拟环境，利用虚拟机安装Linux更加简单。

先安装vmware软件

相关教程可以参考https://blog.csdn.net/weixin_43465312/article/details/100233930

3.进行oyente工具的安装

安装前先配置好了环境，进入Ubuntu的图形界面，右键open in terminal进入命令行

更新缓存

sudo apt-get update

安装docker

sudo apt install docker.io

安装运行oyente

sudo docker pull luongnguyen/oyente 下载oyente包（如果已经下载好，再次开机进入的话，就忽略这一步，不用下载了）

sudo docker run -i -t -v /home/chensimin/sync:/sync luongnguyen/oyente #运行oyente的docker环境

注意：
此时前面的用户名从chensimin切换到了root。主机名也从chensimin-virtual-machine

变成了0c14e67c5558。代表进入了一个新的虚拟环境，总结起来就是，在windows系统下安

装了chensimin-virtual-machine这个虚拟机（基于VMware的虚拟机），然后再在chensimin-

virtual-machine里面安装了0c14e67c5558这个虚拟机（基于docker的虚拟环境）。

-v /mnt/hgfs/sync:/sync是将宿主机的/mnt/hgfs/sync文件夹挂载到docker环境的/sync文件

夹下

cd /oyente/oyente #切换到有oyente.py的文件夹在这里才能正常调用oyente.py以及依赖的程序，所以一定要切换到这里

python oyente.py -s greeter.sol #测试greeter.sol文件


![在这里插入图片描述](https://img-blog.csdnimg.cn/4b95a76abb4340c8a7003811feb8c31e.png?x-oss-process=image/watermark,type_ZHJvaWRzYW5zZmFsbGJhY2s,shadow_50,text_Q1NETiBAcXFfNDI5MzIwMjE=,size_20,color_FFFFFF,t_70,g_se,x_16)r.sol #测试greeter.sol文件

使用oyente智能检测工具总结相关推荐

区块链论文7（oyente智能合约漏洞检测工具）
Making Smart Contracts Smarter 文章路径参考链接1 参考链接2 参考链接3 Abstract: Cryptocurrencies record transactions ...
Oyente：智能合约漏洞检测工具的安装与使用
写在前面当你阅读到这篇博客时,大概率你已经阅读并尝试过 Oyente 官方安装指导,甚至可能还在其它地方搜过安装教程,如果没有就当我没说... 那为什么在有各种版本的教程的情况下我依旧去写一个新 ...
oyente—合约漏洞检测工具安装
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 oyente-合约漏洞检测工具安装前言一.oyente是什么? 二.安装 1.在docker安装 2.linux安装 1.首先就是 ...
智能合约自动检测工具『链必验』，如何带你解锁Web3.0世界
在我们发布[链必验]新版本之后,目前已有大批开发者前来试用,今天,我们还需要详细介绍这款工具. [链必验]智能合约自动检测工具,可用来检测区块链智能合约漏洞.平台针对每个用户模拟了一条单独的测试链,用 ...
关上Deepfake的潘多拉魔盒，RealAI推出深度伪造视频检测工具
诞生之初,Deepfake是一项有趣的图像处理技术,仅仅带来搞笑和娱乐视频,但殊不知,潘多拉魔盒就此被打开,催生出色情黑产.恶搞政客"操纵"民意,Deepfake正逐步进化为一种新 ...
AI如何反低俗？今日头条推内容检测工具“灵犬”3.0，首次公开其技术原理
安妮发自北三环西路量子位出品 | 公众号 QbitAI 男默女泪.不看不是中国人.看完惊呆.身份惊人.不看吃亏.癌症凶手--这些标题党文章的惯用词汇,还熟悉吗. 昨天(7月30日),今日头条发 ...
5 款阿里常用代码检测工具，免费用！
作者 | 喻阳面临问题在日常研发过程中,我们通常面临的代码资产问题主要分为两大类:代码质量问题和代码安全漏洞. 1.代码质量问题代码质量其实是一个老生常谈的话题,但问题是大家都知道它很重要,却又 ...
如何使用CDR智能填充工具
使用智能填充工具可以为任意的闭合区域填充颜色并设置轮廓.与其他填充工具不同,智能填充工具仅填充对象,它检测到区域的边缘并创建一个闭合路径,因此可以填充区域.例如,智能填充工具可以检测多个对象相交产生的 ...
css检测,CSS检测工具 CSS Lint简介
Nicholas C. Zakas最近发布了CSS Lint,旨在检测CSS代码中存在的各种问题,从而写出更高效的CSS. CSS Lint现有的一些规则: 修复解析错误(Parsing errors ...

使用oyente智能检测工具总结

使用oyente智能检测工具总结

一. 安装过程

1.进行双系统安装

2.进行虚拟机安装

3.进行oyente工具的安装

安装docker

安装运行oyente

使用oyente智能检测工具总结相关推荐

最新文章

热门文章