自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(22)
  • 资源 (1)
  • 收藏
  • 关注

原创 智能合约漏洞检测论文

综述Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools符号执行与模糊测试工具的比较List item

2023-03-30 16:15:25 288

原创 obsutil使用

【代码】obsutil使用。

2022-12-11 10:37:19 729

原创 华为云环境配置tf

【代码】tf环境配置。

2022-12-11 10:28:02 242

原创 虚拟机网络图标不显示问题

【代码】虚拟机网络图标不显示问题。

2022-10-04 21:58:18 382

原创 request

pip install requests -i http://pypi.douban.com/simple --trusted-host=pypi.douban.com

2022-02-21 15:54:46 91

转载 错误-路径

Python_报错:SyntaxError: (unicode error) ‘unicodeescape’ codec can’t decode bytes in position 2-3: truncated \UXXXXXXXX escapePython运行后,报错:SyntaxError: (unicode error) ‘unicodeescape’ codec can’t decode bytes in position 2-3: truncated \UXXXXXXXX escape原因:

2022-02-21 15:33:14 83

转载 【无标题】

To build the container:sudo docker build -t securifyTo run the container:sudo docker run -it -v <contract-dir-full-path>:/share securify /share/<contract>.sol[root@SR ~]# docker search centos # 查看镜像[root@SR ~]# docker pull centos # 拉取

2022-02-19 11:15:40 48

原创 anaconda环境

删除虚拟环境:conda remove --name your_env_name --all

2022-02-18 12:07:47 749

原创 Solidity编译器源码解析

https://www.jianshu.com/p/4bcc1e9f19b4

2022-02-12 22:55:06 590

原创 克隆检测的简介

https://zhuanlan.zhihu.com/p/146621565

2022-02-12 21:31:40 288

原创 solast:Rust中的Solidity 0.8.X AST解析和分析-源码

https://download.csdn.net/download/weixin_42128270/15885761?spm=1001.2101.3001.6650.14&utm_medium=distribute.pc_relevant.none-task-download-2%7Edefault%7EBlogCommendFromBaidu%7EHighlightScore-14.queryctrv2&depth_1-utm_source=distribute.pc_relevant.

2022-02-10 16:54:45 320

原创 make工具介绍

对make工具的介绍https://www.cnblogs.com/skyivben/archive/2009/12/27/1633524.html

2022-02-10 16:52:52 76

原创 【论文阅读】|异常检测中的深度学习技术综述

https://blog.csdn.net/m0_38052500/article/details/117386336

2022-02-10 16:45:39 294

原创 AST 遍历思路

AST 遍历思路:https://zhuanlan.zhihu.com/p/419252425

2022-02-10 16:36:16 490

原创 源代码静态分析工具

一些源代码静态分析工具https://zhuanlan.zhihu.com/p/398168342

2022-02-10 16:35:08 220

原创 AST快捷分析工具codesensor的使用方法总结

https://blog.csdn.net/qysh123/article/details/106395599

2022-02-10 16:24:45 205

原创 Bytecode验证器

对Bytecode验证器的讲解https://zhuanlan.zhihu.com/p/69827280

2022-02-10 16:11:45 161

原创 ast builder:直接从代码构建AST 源码

通过编写代码直接构建您的抽象语法树(AST)。 只需键入您的代码并获取正确的 API即可构建AST。 阅读以了解有关该工具的更多信息。 此应用程序是在中 如何使用它? TOP LEFT PANE =>源代码 右上角=> AST 底部左侧窗格=> Builder API 底部右侧窗格=>验证输出(源代码) 动机 创建该项目的原因是,我很沮丧地寻找用于编写codemods的参考,而jscodeshift api的文档却很少。 这是的交互式版本 先决条件 您需要在计算机上正确安装以下物品。

2022-02-10 16:07:27 636

原创 solidity-ast:用于Solidity AST的TypeScript类型和JSON模式-源码

https://download.csdn.net/download/weixin_42131316/18196542

2022-02-10 16:04:18 838 1

原创 bytecode-verifier:编译Solidity源代码并验证其字节码与区块链匹配-源码

bytecode-verifier:编译Solidity源代码并验证其字节码与区块链匹配-源码https://github.com/ConsenSys/bytecode-verifier

2022-02-10 16:02:44 8191

转载 Solidity的Bytecode和Opcode简介

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题,有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能,丰富你的文章UML 图表FLowchart流程图导出与导入导出导入欢迎使用Markdown编辑器你好! 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Mar

2022-02-10 15:52:47 113

转载 CSND怎样获得积分

每发布一篇原创或者翻译文章:可获得10分每发布一篇转载文章:可获得2分博主的文章每被评论一次:可获得1分发表一次评论:可获得1分(自己给自己评论、博主回复别人对自己博文的评论不获得积分)每篇博文阅读次数每超过100次:可获得1分,阅读加分最高加到100分,即每篇文章点击上万次截止...

2020-03-07 14:12:51 142

Linux命令缩写.docx

一些命令缩写,方便查询 命令缩写: ls:list(列出目录内容) cd:Change Directory(改变目录) su:switch user 切换用户 rpm:redhat package manager 红帽子打包管理器 pwd:print work directory 打印当前目录 显示出当前工作目录的绝对路径 ps: process status(进程状态,类似于windows的任务管理器) 常用参数:-auxf ps -auxf 显示进程状态

2020-03-07

空空如也

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

TA关注的人

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