【摘 要】
：
区块链技术已经进入了以智能合约为标志的区块链2.0时代,频发的智能合约安全问题给区块链生态带来了严重的损失。通过对比不同的智能合约漏洞检测方法与检测工具存在的安全漏
【基金项目】
：
陕西省重点研发计划项目(2020GY-010),西安市科技计划项目(2019218114GXRC017CG018-GXYD17.10)
论文部分内容阅读
区块链技术已经进入了以智能合约为标志的区块链2.0时代,频发的智能合约安全问题给区块链生态带来了严重的损失。通过对比不同的智能合约漏洞检测方法与检测工具存在的安全漏洞问题,总结出13种常见漏洞检测项。通过讨论5种主流的智能合约漏洞检测方法与相应的漏洞检测工具,对比总结5种漏洞检测工具针对13种漏洞检测项的检测情况。对比分析3种漏洞检测工具对于200个测试合约的检测结果,得出模糊测试检测方法简单高效并且不会产生误报。最后,针对检测结果展望智能合约漏洞检测技术的未来研究方向,并给出针对现有漏洞检测方法的改进思
其他文献
隔振器作为一种典型的非线性隔振装置,具有良好的刚度和阻尼特性。通过合理组件隔振器系统,使隔振器隔振效果大幅度提升,解决了工程中设备受到振动冲击而极易引起损坏的问题
支持向量机(support vector machine,SVM)主要解决分类和回归问题,基于支持向量机的特征选择可以有效地去除不相关的冗余特征,在新的更少的数据集上建模,提高支持向量机的效
在复杂的水平井工况下,轮式液压牵引器比机械式牵引器表现更好。而液压牵引器推靠系统需要能适应套管变化的控制系统才能应对复杂的井下工况。以某一型号液压牵引器的液压推
针对高速数据通信系统中因不同通道的时延差异造成的数据延迟不一致问题,提出一种多通道高速数据对齐的实现方案。通过时钟芯片产生标准的周期可配的基准信号,在发送侧产生同
臂架砼管支撑的破坏类型有焊接裂纹、焊接结构的延性破坏和脆性破坏、疲劳破坏,但以冷裂纹、疲劳开裂为主。从3个方面进行了开裂原因分析,并通过MSC.Marc焊接数值模拟方法,计
为减小某新型舰载发射装置后坐力,采用压溃式材料进行后坐力缓冲试验,通过压溃式材料吸收发射装置后坐力。通过舰载发射装置实弹射击采集后坐力曲线,设计缓冲试验装置模拟舰
人工清理水泥库筒仓是一种作业劳动强且危险系数高的特种作业。在人工清理过程中,手持式作业清库工具适用性差,清理效率低。针对水泥库筒仓清理机器人的工作环境及功能要求进
为了避免传统公钥体制下复杂的用户数字证书管理,提出一种基于SM9算法的环签名方案。将环内签名者的身份标识信息发送到密钥生成中心,生成相应的私钥,私钥结合SM9签名生成算
针对相控阵天线工作在宽带瞬时信号的情况下,瞬时信号受到天线孔径越渡时间的限制问题,设计一种具有宽带瞬时信号的相控阵天线阵列。从相控阵天线理论出发,研究分析孔径渡越