qq_42932021的博客

一、pip下载安装1.1 pip下载# wget "https://pypi.python.org/packages/source/p/pip/pip-1.5.4.tar.gz#md5=834b2904f92d46aaa333267fb1c922bb" --no-check-certificate1.2 pip安装# tar -xzvf pip-1.5.4.tar.gz# cd pip-1.5.4# python setup.py install二、pip使用详解2.1 pip安装软件

转载：https://blog.youkuaiyun.com/cc1949/article/details/78286224如果是系统自带的python，会使用dist-packages目录；如果你手动安装python，它会直接使用目录site-packages。这允许你让两个安装隔离开来。dist-packages：系统自带的pythonsite-packages：自己安装的pythonPython的包的安装路径如下1、系统自带python系统自带软件管理器安装， 模块将被安装到 dist-packa

使用oyente智能检测工具总结一. 安装过程首先明确安装的前提：oyente工具需要使用Linux环境，在日常使用的windows系统中，无法进行操作1.进行双系统安装也就是开机时可以进行双系统的选择，比如切换到window系统或Linux系统，在切换到Linux再进行oyente工具安装，但风险较大2.进行虚拟机安装虚拟机相当于占用一部分主机内存，生成虚拟环境，利用虚拟机安装Linux更加简单。先安装vmware软件相关教程可以参考https://blog.youkuaiyun.com/weixin

Formal Verification of Smart Contracts: Short PaperABSTRACT提出将使用F*框架用于编写代码1. INTRODUCTION本文目的：通过静态分析方式查找漏洞字节码(Byte-code)是一种包含执行程序，由一序列 op 代码/数据对组成的二进制文件，是一种中间码。将智能合约的验证分为双端方式：（基于语言的方式来证明）1.直接对Solidity编程语言转换成F*语言 *Solidity*Runtime error就是在运行期间