- 博客(7)
- 收藏
- 关注
RSS订阅原创 python中面向对象
面向对象是一个更大的封装，一个类中封装多个方法，通过类的创建可以直接调用方法class 类名：def 方法1（self，参数列表）passdef 方法2（self,参数列表）pass创建对象 对象变量=类名()类在进行使用时需要实例化# Person类的实例化p=Person()# 调用setName和getName方法p.setName("小猴")# 不调用的时候，查看count方法的属num性# 调用count方法时，查看count方法的属num性p.count()
2023-04-12 21:01:42
121
转载 pip的安装、以及使用方法
一、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安装软件
2021-10-04 23:48:23
2278
转载 2021-10-04
转载：https://blog.youkuaiyun.com/cc1949/article/details/78286224如果是系统自带的python，会使用dist-packages目录；如果你手动安装python，它会直接使用目录site-packages。这允许你让两个安装隔离开来。dist-packages：系统自带的pythonsite-packages：自己安装的pythonPython的包的安装路径如下1、系统自带python系统自带软件管理器安装， 模块将被安装到 dist-packa
2021-10-04 21:11:11
90
原创 使用oyente智能检测工具总结
使用oyente智能检测工具总结一. 安装过程首先明确安装的前提：oyente工具需要使用Linux环境，在日常使用的windows系统中，无法进行操作1.进行双系统安装也就是开机时可以进行双系统的选择，比如切换到window系统或Linux系统，在切换到Linux再进行oyente工具安装，但风险较大2.进行虚拟机安装虚拟机相当于占用一部分主机内存，生成虚拟环境，利用虚拟机安装Linux更加简单。先安装vmware软件相关教程可以参考https://blog.youkuaiyun.com/weixin
2021-10-04 21:09:45
1458
2
原创 Formal Verification of Smart Contracts Short Paper
Formal Verification of Smart Contracts: Short PaperABSTRACT提出将使用F*框架用于编写代码1. INTRODUCTION本文目的：通过静态分析方式查找漏洞字节码(Byte-code)是一种包含执行程序，由一序列 op 代码/数据对组成的二进制文件，是一种中间码。将智能合约的验证分为双端方式：（基于语言的方式来证明）1.直接对Solidity编程语言转换成F*语言 *Solidity*Runtime error就是在运行期间
2021-07-14 14:19:22
2935
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人