- 博客(14)
- 资源 (3)
- 问答 (2)
- 收藏
- 关注
RSS订阅原创 【无标题】
python2无法安装huangarian，相应的函数无法使用如hungarian.lap()1、在conda中创建虚拟python3环境。
2023-08-02 10:59:42
105
原创 解决pip安装包报错：WARNING: Retrying (Retry(XXX) after connection broken by ‘ProxyError(‘
ubuntu解决pip安装包报错retrying after connecting broken by ;procyError'
2022-11-18 11:07:21
2212
1
原创 sFuzz源代码框架分析
sFuzz源代码框架分析sFuzz是发表在软件工程顶会ICSE2020年论文（sFuzz：An Efficient Adaptive Fuzzer for Solidity Smart Contracts）中实现的工具。sFuzz通过基于距离的启发式策略的模糊测试技术实现对合约漏洞检测。sFuzz基于C++实现，集成了以太坊和模糊测试框架，其主要模块和模块间的调用关系如下，希望对研究合约的道友们有些许帮助。...
2021-10-09 10:16:52
14668
5
原创 z3学习笔记（有空继续整理）
一、基本语法Declare-const: 声明给定类型（type/ sort）的常量declare-fun：声明一个函数(declare-fun f (Int Bool) Int)：声明一个接收整型和布尔型两个参数的函数，返回int(define-fun a () Int [val])：是解释。此处表明a的值是val(define-fun conjecture () Bool (=> (and (=> p q) (=> q r))...
2021-03-16 11:50:52
1430
1
原创 linux新建用户并赋予权限
1、useradd -m 用户名 //会在home下建同名文件 （userdel 用户名 删除文件）2、passwd 用户名 //给用户设置密码 下以用户名为newer为例3、chown wzl:wzl -R /home/newer //给用户设置其同名文件使用权限4、usermod -s /bin/bashnewer //给用户配置bash权限...
2021-03-16 11:43:07
425
原创 ContractFuzzer源代码解析
ContractFuzzer可以说是学术界发表的第一篇智能合约模糊测试攻击，其发表在18年软工顶会ASE上。主要编程语言为go和js，所以上手快，较容易理解。Contractfuzzer主要分为三个模块：1、fuzzer，用于产生测试输入，以及接收geth_cf的测试结果，进行处理并展示；2、tester，用于将fuzzer传过来的输入封装为交易，并发送到插桩的geth-cf中；3、geth_cf，在EVM中插桩记录每一次调用的交易详细信息，并记录执行trace，根据事先设定的oracle检测漏洞，将
2020-12-29 10:36:40
872
1
原创 Golang 编程
Golang 编程小记#将对象反射为其本身类型的值vari:= reflect.ValueOf(obj).Interface()#错误处理1）encoding/hex: invalid byte: U+0078 ‘x’使用hex.DecodeString（s）函数时，s包含无法识别的字符x，比如‘0x’
2020-05-11 17:11:37
1201
原创 问题解决：Sublime Text3没有package-control，install package失败， 不支持solidity语法高亮一系列坑
package-control安装网上提供的有两种方法，在线安装和离线安装，emmm，在线安装一般都会由于网络原因失败。建议大家优先选择离线安装，包不大，也很快很方便：1.在https://github.com/wbond/package_control下载zip包2.Sublime3下，Preferences->Browse Packages，将1中的包括解压放置在该位置中，解压的...
2020-03-12 11:29:48
482
原创 Latex中文模板以及全局字体大小设置
中文模板https://blog.csdn.net/xueshengke/article/details/51996265?locationnum=2&fps=1亲测可直接使用，不过要把编译环境从pdflatex变为xeLatex,不然会报错“CTeX fontset `fandol’ is unavailable in current mode.”此外：改字体大小的全局设置可以直接在\...
2019-07-19 15:28:57
23442
1
原创 latex在IEEE双栏中实现跨页长表格的简单方法
网上百度了很多使用longtable,supertable的方法，但都很繁琐也不适用.Longtable方法较为简单但只适用于单栏在IEEE双栏下会报告“longtable is not in 1-column mode”的错误。利用 \clearpage方法完美解决问题：\clearpage\onecolumn\begin{longtable}//声明单元格的长度格式也和正常表格一样...
2019-07-16 13:18:52
8702
3
原创 Smart contract security Papers---智能合约安全论文
[JNCA'20]FSFC: An input filter-based secure framework for smart contract 链接：https://authors.elsevier.com/c/1aRzo3sf~y5KuF [ICSE'20]sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts ...
2018-12-30 11:58:55
7981
11
转载 Geth源码解析
go-ethereum-code-analysis目录go-ethereum代码阅读环境搭建以太坊黄皮书 符号索引rlp源码解析trie源码分析ethdb源码分析rpc源码分析p2p源码分析eth协议源码分析core源码分析 区块链索引 c...
2018-08-31 16:45:59
1420
转载 RLP编码方式解析
文章转自https://blog.csdn.net/luckydog612/article/details/80547019。 RLP(Recursive Length Prefix)，...
2018-08-31 16:37:15
626
原创 区块链安全问题归类及顶会论文
第一类：恶意造成网络延迟或者隔离发起的攻击1(15SECURITY)EclipseAttacks on Bitcoin's Peer-to-Peer Network.2(15CCS)Tampering with the Delivery of Blocks and Transactions in Bitcoin3(17DSN)TheBalance Attack or Why Forka...
2018-07-19 14:20:14
7976
Clion调试远程代码，但debug按钮为灰色。
2021-05-13
golang用python.PyImport_ImportModule导入模块返回空，
2021-04-12
TA创建的收藏夹 TA关注的收藏夹
TA关注的人