- 博客(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
原创 word中给公式加编号(表格法)
设置整个表格的单元边距为0,在水平方向上设置左边单元格为左对齐,中间的为居中,右边的为右对齐,所有单元格在垂直方向上都居中对齐。给公式加编号有很多方法,这是我认为最舒服的方法,且在转换为PDF格式文件时,不会出错的一种加编号的方法。生成的题注不在单元格内,需要将其剪切到右侧单元格内。创建一个1 * 3 的表格,并调整表格为“,或者可以新建一个自定义的标签,然后选择“在中间的单元格内插入公式。设置表格为无边框形式(
2024-10-28 14:57:18
723
原创 智能合约传统检测工具的使用与测试(oyente、Mythril、Slither、ConFuzzius、sFuzz、SmartCheck)
传统智能合约检测工具的使用与测试的详细过程(oyente、Mythril、Slither、ConFuzzius、sFuzz、SmartCheck)
2024-09-09 11:28:52
581
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人