自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(9)
  • 收藏
  • 关注

原创 ILF的代码学习笔记(智能合约模糊测试领域)

目录ilf__main__.pyexecution execution.pyfuzzers imitationdataset.py policy_imitation.py obs_imitation.pyenvironment.pyILF的主要模块代码都在文件,下面对文件下的各种py文件逐个进行学习.总体功能:该代码主要是一个命令行工具,允许用户使用不同的模糊测试策略(fuzzing strategies)来测试和分析智能合约的运行行为。通过参数化的方式,可以指定不同的模糊测试策略和运行环境。模糊测试策略可

2025-01-04 20:51:14 958

原创 模糊测试智能合约的文献阅读笔记-1(sFuzz、ContractFuzzer、ConFuzzius、IR-Fuzz、ILF、RLF)

本文总结了个人在阅读智能合约漏洞检测领域的模糊测试相关文献时的见解。

2024-12-20 16:25:09 1138

原创 GhatGPT--使用技巧(主要为了论文写作和润色)

我会将最近的思考,最新的技巧放置在本文之中,确保你我不错过任何gpt实用的信息。

2024-10-29 10:46:38 5035

原创 word中给公式加编号(表格法)

设置整个表格的单元边距为0,在水平方向上设置左边单元格为左对齐,中间的为居中,右边的为右对齐,所有单元格在垂直方向上都居中对齐。给公式加编号有很多方法,这是我认为最舒服的方法,且在转换为PDF格式文件时,不会出错的一种加编号的方法。生成的题注不在单元格内,需要将其剪切到右侧单元格内。创建一个1 * 3 的表格,并调整表格为“,或者可以新建一个自定义的标签,然后选择“在中间的单元格内插入公式。设置表格为无边框形式(

2024-10-28 14:57:18 723

原创 origin3D柱状图的绘制

origin3D柱状图的绘制

2024-10-07 21:29:54 4100

原创 智能合约漏洞检测工具ReChecker的环境搭建

ReChecker的环境搭建

2024-09-11 18:29:42 448

原创 Osiris的使用与测试

Osiris的使用与测试

2024-09-10 17:49:02 262 1

原创 智能合约传统检测工具的使用与测试(oyente、Mythril、Slither、ConFuzzius、sFuzz、SmartCheck)

传统智能合约检测工具的使用与测试的详细过程(oyente、Mythril、Slither、ConFuzzius、sFuzz、SmartCheck)

2024-09-09 11:28:52 581 1

原创 ubuntu安装docker(详细教程、解决国内镜像加速器不可使的问题)

docker安装和拉取镜像问题的解决

2024-09-02 21:24:48 873

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除