- 博客(22)
- 资源 (1)
- 收藏
- 关注
原创 智能合约漏洞检测论文
综述Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools符号执行与模糊测试工具的比较List item
2023-03-30 16:15:25
288
原创 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
原创 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快捷分析工具codesensor的使用方法总结
https://blog.csdn.net/qysh123/article/details/106395599
2022-02-10 16:24:45
205
原创 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
2020-03-07
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人