智能合约安全综述:漏洞分析

加密货币比特币的出现带动了区块链技术的蓬勃发展,智能合约技术则是区块链技术中的一个技术高地.目前以太坊中的智能合约应用受到大量的关注,创造了海量的价值应用,同时也带来了密集的攻击活动.随着智能合约的数量越来越多,尤其是智能合约中的代码漏洞也逐渐被许多研究人员和恶意攻击者发现,造成了一系列重大的经济损失案件.为了对智能合约技术的稳定性发展提供理论研究基础,文章针对以太坊上已知的智能合约漏洞进行了介绍、分类和总结,并对智能合约安全漏洞进行详细的原理阐述与场景代码复现.     

一种优化的智能合约模版生成方法

针对业务流程智能合约部署到以太坊时Gas成本消耗问题,设计了一种优化的业务流程智能合约模版生成方法.通过将业务流程BPMN模型扩展为Petri网后,利用Petri网的化简规则进行化简,找出BPMN模型中可以视为融判任务的节点组合后,对原业务流程BPMN模型进行化简.提出一种BPMN模型到Solidity智能合约代码的映射规则,将化简后的业务流程BPMN模型翻译为优化的智能合约模版.经过以太坊部署测试,验证了优化的智能合约模版能够降低智能合约部署时的Gas消耗.     

基于Java语言的抽象语法树的创建与遍历

抽象语法树(Abstract Syntax Tree ,AST)作为程序的一种中间表示形式,在程序分析等诸多领域有广泛的应用.利用抽象语法树可以方便地实现多种源程序处理工具,比如源程序浏览器、智能编辑器、语言翻译器等.本文作者介绍了抽象语法树涉及的原理及解释器的设计方案,针对Java语言,利用设计模式理论提出了创建和遍历抽象语法树的思路,并给出较为详细的代码说明.     

基于深度学习的智能合约漏洞检测方法综述

智能合约是区块链三大特点之一,也是区块链具有应用价值和灵活性的领域.本质上,智能合约是一段用特定脚本语言实现的代码,不可避免地存在安全漏洞风险.如何及时准确地检查出各种智能合约的漏洞,就成为区块链安全研究的重点和热点.为了检测智能合约漏洞,研究者提出了各种分析方法,包括符号执行、形式化验证和模糊测试等.随着人工智能技术的快速发展,越来越多基于深度学习的方法被提出,并且在多个研究领域取得了很好的效果.目前,针对基于深度学习的智能合约漏洞检测方法并没有被详细地调查和分析.本文首先简要介绍了智能合约的概念以及智能合约漏洞相关的安全事件;然后对基于深度学习的方法中常用的智能合约特征进行分析;同时对智能合约漏洞检测中常用的深度学习模型进行描述.此外,为了进一步推动基于深度学习的智能合约漏洞检测方法的研究,本文将近年来基于深度学习的智能合约漏洞检测方法根据其特征提取形式进行了总结分类,从文本处理、静态分析和图像处理3个角度进行了分析介绍;最后,总结了该领域面临的挑战和未来的研究方向.     

在VB.NET中使用设计模式

作为一种新一代的面向对象程序设计语言,VB.NET在编写代码时,常常采用设计模式以增强程序的可读性、可扩展性和可重用性。本文结合一个简单的例子,使用VB.NET,实现了一种改进的工厂模式,并简单总结了VB.NET使用设计模式的优缺点和潜在的问题。     

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

面向VLIW DSP处理器的智能汇编过程语法处理方案

近年来高性能数字信号处理器(DSP)得到快速发展.高性能数字信号处理器处理任务所需的时间和能耗与对代码的指令级并行度的挖掘密切相关.为了获得高指令级并行度的代码,提高代码的可移植性,同时减轻软件开发人员的负担和减小编程的难度,我们提出了智能汇编这种抽象汇编程序解决方案来综合了高级语言和汇编语言两方面的优势.针对这种抽象汇编程序,需要智能汇编器这种面向高性能VLIW DSP硬件底层的优化编译器.智能汇编器是基于抽象的智能汇编过程进行代码优化的.本文提出了一种考虑高性能VLIW DSP硬件特性的智能汇编过程结构,并介绍了对这种智能汇编过程进行语法处理的方案和相应的核心算法以对这种过程和过程中的指令序列进行识别,能够为后续的代码优化环节提供过程和指令的语法信息.     

一种改进的基于动态链接库的代码插装技术

介绍了动态测试的关键技术-“代码插装”的原理，并在已经实现了的面向Visual Basic。语言的测试工具的基础上，提出了一种改进的基于动态链接库的代码插装技术．介绍了面向Visual Basic源程序的代码插装流程。     

设计模式及其在JAVA类库中的典型应用

设计模式复用是软件项目中用来复用设计思想和面向对象代码的便捷方式,有效地继承和使用设计模式有助于提高软件开发的效率,提高软件可复用性、稳定性和可维护性。本文分析了设计模式在JAVA I/O库和AWT库中的典型应用,并阐明了设计模式的主要特点和使用设计模式给软件设计带来的好处。     

.Net软件架构和设计模式在自动组卷系统的应用

为了在.Net平台上实现适应多种数据库和易于后期维护和升级的自动组卷系统,采用了多层软件架构及数据访问层的设计模式,并且应用C#语言实现了系统开发。通过引入三层构架和抽象工厂设计模式,系统能够便捷地切换多种数据库访问,增强了代码的重用性,有效地提高自动组卷系统的开发效率,并且便于后期软件升级。