智能合约审计系列————3、变量覆盖&不一致性检查

最新推荐文章于 2021-09-27 17:00:55 发布
最新推荐文章于 2021-09-27 17:00:55 发布
阅读量1.2k 收藏
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Fly_hps/article/details/104165657
版权

前一个阶段笔者更新了智能合约审计系列研究内容，目前将第三篇文章发布于先知平台，主要涉及智能合约开发和审计过程中的变量覆盖、不一致性检查的安全性问题，文章目录如下，有兴趣的可以看看：

文章链接：https://xz.aliyun.com/t/7152

FLy_鹏程万里
关注
人工智能对审计的影响分析.pdf
07-10
人工智能对审计的影响分析.pdf
人工智能审计
qq_44719002的博客
07-01 901
与传统的社交渠道相比，网络游戏社交平台的媒体内容制作模式、沟通模式和组织合作模式有很大的不同，最明显的区别是信息制作和信息传播的分离。 目前，主流聚合平台主要负责信息的传播和运营。游戏论坛上的内容种类繁多，内容质量参差不齐，一切混淆视听的负面评论同样也会带来内容风险，也有可能影响游戏子文化的生产。因而上传的论坛内容必须经过审核才能传播，平台的功能内容审计团队对人工智能算法也因此有很大的需求。 人工智能审计可以通过机器人文本识别技术标记论坛帖子与评论中可疑的非法内容。结合过滤、召回和删除的手段..
初入以太坊，学习调研智能合约——智能合约面临的安全威胁和漏洞类型
Mr_Rui_Rui的博客
09-13 688
1、重入攻击 恶意合约A调用某一合约B，让合约B给A转账，恶意合约A在fallback函数中回调合约B给A转账的函数，该函数使用call进行转账因此没有gaslimit限制，并且B记录的A的金额减少是在转账之后。 可重入攻击也就是攻击方发送一笔交易，导致合约一致重复执行直到将合约账户的资源消耗完。这有点类似于C语言的递归函数。攻击方能成功进行可重入攻击，主要依赖于Soildity为智能合约提供的fallback和call函数 以太坊的智能合约，可以声明一个匿名函数（unnamed function）
智能合约审计之变量覆盖
Fly_鹏程万里
06-29 1348
漏洞简介 在智能合约语言Solidity当中，存在Storage(存储器)和Memory(内存)两个不同的概念，Storage变量是指永久存储在区块链中的变量，Memory变量是临时的，这些变量在外部调用结束后会被移除 Solidity中struct和数组在局部变量中默认是存放在storage中的，因此可以利用未定义的存储指针的问题，p会被当成一个指针，并默认指向slot[0]和slot[1]，因此在进行p.name和p.mappedAddress赋值的时候，实际上会修改变量testA，testB的值:
智能合约审计系列————1、整型溢出
Fly_鹏程万里
02-28 573
更多精彩内容请移步至：https://xz.aliyun.com/t/4145
星云链Nebulas——3.编译和部署智能合约1
08-04
星云链Nebulas智能合约编译和部署 星云链Nebulas是一款基于区块链技术的去中心化应用平台，它支持智能合约的编译、部署和执行。在这篇文章中，我们将详细介绍星云链Nebulas智能合约的编译和部署过程。 智能合约的...
区块链技术与应用——智能合约.pdf
06-07
区块链技术与应用——智能合约.pdf
以太坊智能合约示例与漏洞分析——竞拍合约
01-08
智能合约定义成员变量、event等，构造函数初始化受益人、拍卖结束时间，如下所示： 出价的函数如下，标注payable说明函数可以接收转账，require(now <= auctionEnd)检查拍卖是否结束，如果已经结束就抛出异常，...
星云链Nebulas——4.智能合约存储区1
08-04
在深入探讨星云链Nebulas的智能合约存储区之前，我们先来了解一下Nebulas的基本概念。Nebulas是一个去中心化的区块链网络，旨在提供一个可自我进化、可度量的智能合约平台。它的核心特性包括：智能合约、去中心化...
大数据审计的发展_讲座预告 | 基于大数据的风险管理与智能审计
weixin_39612038的博客
12-09 257
基于大数据的风险管理与智能审计讲座时间：2019年12月21日(周六)13：30讲座地点：25教学楼A区三层C教室主讲人：季瑞华 普华永道中国合伙人主讲人简介：季瑞华，普华永道中国的资深合伙人；英国东安格利亚大学理学学士，英国执业会计师，英国和威尔士会计师公会资深会员；香港执业会计师，香港会计师公会资深会员；国际信息系统审计师；拥有风险及信息系统监控专业资格。季先生在1990年取得英...
区块链论文6（teether检测智能合约漏洞并自动生成漏洞路径）
XingFuXiaoAi520的博客
05-27 2892
1、给出合约漏洞的一般定义 2、
解密智能合约TOP10安全漏洞
热门推荐
softgmx的博客
11-22 1万+
以下都是来自我的新作《解密EVM机制及合约安全漏洞》里的内容 电子版PDF下载：https://download.csdn.net/download/softgmx/10800947   重入问题 漏洞成立的条件： 合约调用带有足够的gas 有转账功能（payable） 状态变量在重入函数调用之后 底层转账函数 防重入 错误处理 ...
LightCoin合约非一致性检查漏洞分析
Fly_鹏程万里
09-05 392
0×00 项目简述 LIGHT (光链) 是世界上第一个双层区块链（父链与子链）。其中，LIGHT 父链与传统的公链类似，有且仅有一个，保证记录完整、透明、不可被篡改或销毁。LIGHT子链可以是多个且相互独立存在，基于PoM validation方式，结合In-Memory数据库缓存，有效提高缓存环节吞吐量，QPS可达10万以上，实现性能大幅提高。LIGHT突破性地解决了当今数字货币在交易时处理...
主流自动化智能合约审计工具横向对比测试
区块链大本营
11-15 3502
本文将成都链安科技有限公司开发的VaaS-ETH自动智能合约形式化验证平台精简版与国际知名的类似产品，如SmartDec、Securify、QSP进行了横向对比测试。测试结果表明，VaaS-ETH在安全检测精确度、检测能力、结果分析、用户体验等方面均存在较大优势。 本文分为两个部分，使用两个功能不同的案例合约，分别为代币合约和竞拍合约。 智能合约安全检测项：包括10大类，27小项 1 ....
智能合约场景下的模糊测试——智能合约基本介绍
DeamLake的博客
09-27 1万+
智能合约场景下的模糊测试前言基本概念智能合约图灵完全智能合约特性运行环境 前言 模糊测试和区块链的相关概念在此不再赘述，网络上有很多成熟的文档可以自行查阅。本人是在模糊测试领域有一年研究基础的CS研究生，应老板项目要求将模糊测试应用于区块链的智能合约场景做一些新的尝试。奈何本人在区块链方向也是个小白，所以借此文对智能合约的相关概念作一个大致的了解并在此做一个总结，留作之后回顾。 如果内容有问题欢迎大家留言建议和交流。 基本概念 智能合约 智能合约是一种基于区块链平台运行，为缔约的多方提供安全可信赖能力的去中
智能合约的常见漏洞
weixin_33862188的博客
09-25 2586
目录： 1. 重入(Reentrancy) [1, 2, 3] 2. Call to the unknown [1] 3. Gasless send [1, 3] 4. Exception disorder/Mishandled Exceptions [1, 2, 3] 5. Type casts [1] 6. Keeping secrets [1] 7. Ether lost in trans...
这一篇，带你敲开C语言指针的大门
Serendipper_constancy的博客
02-24 1791
今天萌新博主打算写几篇关于C语言就指针方面的学习文案，因为萌新博主也是一位在校大学生，专业课也涉及到C语言，在学习C语言——指针的时候，相信和大家一样，在这块知识面感觉晦涩难懂，很抽象，怎么学也学不会，学不好。但是博主并没有放弃，因为指针这块是C语言的灵魂，多么具有挑战性啊！所以热心的博主想帮助大家，前车之覆，后车之鉴，我们一起来学习指针，有不足的地方，还请大家多多批评指正！ —————————废...
SECBIT郭宇：智能合约审计的趋势是自动化和复杂化
SECBIT区块链安全实验室
09-06 893
8月31日晚，SECBIT安比实验师创始人郭宇及其团队做客链得得《无眠吐槽大会》，与群友们探讨合约安全问题和“漏洞”中的机会，并就智能合约安全现状、应用、关键技术、解决方案、智能合约游戏漏洞以及区块链安全的商业模式等进行了全方位的分享。 郭宇精彩观点汇总： 1、 以太坊上大量的合约存在各种花样的整数溢出漏洞，有些可以直接导致 token 归零； 2、 目前智能合约中存在最普...
以太坊智能合约审计五大问题CheckList
以太坊智能合约审计CheckList1是由知道创宇404区块链安全研究团队于2018年11月12日发布的一份指南，针对以太坊智能合约安全审计中的关键问题进行分类和总结。这份清单将审计问题分为五个主要类别：编码规范问题、...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

FLy_鹏程万里

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值