基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

滨海科技新城公园生活多元体设计——以烟台高新科技开发区为例

在中国现代城市化和产业更新的推动下,高新科技新城(区)得到空前规模的快速发展。一些自然环境资源丰富,交通可达性较弱地区也被纳入城市建设用地,而往往这些城市建设用地便是新城区或高新科技开发区的不二之选。在城市特色建设和自然资源保护两方面,高新科技新城(区)都存在诸如人气聚集、环境保护、招商引资等问题。文章通过山东烟台市高新科技开发区城市设计实例,总结滨海高新科技新城的发展特征和设计需求,提炼其设计理念与策略,塑造功能多用、内涵丰富、特色鲜明的城市公园生活体系,旨在为类似的城市规划设计提供借鉴与参考。     

水利建设继续发力“十二五”总投资1.8万亿元

2012年2月9—10日,2012年全国水利规划计划工作会议在辽宁沈阳召开。据悉,2012年我国水利建设将继续发力,中央水利投入也将稳步增加。目前,《"十二五"水利发展规划》和有关建设规划已编制完成。据悉",十二五"期间我国水利建设总投资将达到1.8万亿元,其中中央水利投资约8000亿元。     

声音

对比中国500强9年来指标的变化，一个突出的感受是中国企业的规模不断扩大，实力不断增强。而这恰恰也是中国经济这些年来的演变轨迹。——中国企业联合会研究部缪荣     

声音

<正>中国经济正处在一个由政策支撑的回升,向市场驱动的可持续增长的交替过程中,这段交替期非常关键。——国家信息中心经济预测部副主任祝宝良温家宝总理曾多次强调,中国经济将在今后很长一段时间将会面临6个"两难"问题:人民币升值若过快     

声音

<正>新疆能源资源的开发,不能走以往的老路。有的资源大省,卖了一百年的资源,现在经济总量在全国也就是中下游。我们要吸取教训,不能老是卖资源,一定要就地转换。     

工程机械板块上半年业绩攀升

<正>2010年6—7月,各大工程机械骨干企业相继发布上半年利润大幅预增公告。中联重科上半年业绩预增50%~100%;徐工机械上半年业绩调整后数据同比增长约35.6%;厦工股份上半年业绩预增300%以上。中国工程机械工业协会的统计结果显示,2010年的前     

渤海湾或建跨海通道投资规模堪比三峡工程

<正>一项搁置了18年的宏伟构想,在国家经济和技术水平高速发展的今天,终于被提上了议事日程。跨海通道的建设,能否让渤海湾"C"字形的两端"天堑变通途"?日前,渤海海峡跨海通道研究课题组展开了调查研究工作,对项目投资规模、直接收益以及社会经济效益等相关数据进行了估算统计。     

金沙江4座巨型水电站在建规模相当于两个三峡工程

近日,中国长江三峡集团首次发布社会责任报告,表示正在加快建设金沙江溪洛渡、向家坝、乌东德和白鹤滩等4座巨型水电站。     

风电市场扩张 带动工程机械发展

2010年,全球风电市场在高度集中的基础上持续高速增长。据全球风能理事会（CWEC）及风电行业咨询公司统计,近10年以来,全球风力发电市场保持了年均25％的增长速度。其中,中国成为全球增长最快的风电市场,2009年新增装机容量1375万kW．2010年累计装机容量预计将达2000万kW,2020年达1亿kW,平均每年新增800万kW,这也带动了工程机械相关产业的发展。