排序方式: 共有61条查询结果,搜索用时 15 毫秒
1.
作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能. 相似文献
2.
罗夏 《土木与环境工程学报》2012,34(Z1):72-75
在中国现代城市化和产业更新的推动下,高新科技新城(区)得到空前规模的快速发展。一些自然环境资源丰富,交通可达性较弱地区也被纳入城市建设用地,而往往这些城市建设用地便是新城区或高新科技开发区的不二之选。在城市特色建设和自然资源保护两方面,高新科技新城(区)都存在诸如人气聚集、环境保护、招商引资等问题。文章通过山东烟台市高新科技开发区城市设计实例,总结滨海高新科技新城的发展特征和设计需求,提炼其设计理念与策略,塑造功能多用、内涵丰富、特色鲜明的城市公园生活体系,旨在为类似的城市规划设计提供借鉴与参考。 相似文献
3.
随着Web服务的发展,以匿名网络为代表的互联网隐私保护技术越来越受到重视.用户可以通过匿名网络隐藏真实的访问目标,在互联网上匿名浏览网页.然而网页指纹识别仍能通过监听和分析网络流量判断出用户真实的访问目标,从而破坏匿名性.因此,网页指纹识别的方法也能对匿名网络实施监管和审查,避免不法分子滥用隐私保护技术进行非法活动或掩盖罪行.无论从隐私保护还是网络监管的角度来说,网页指纹识别都是值得重点关注的技术手段.在介绍网页指纹识别的概念和发展基础上,针对最有代表性的匿名系统Tor,重点阐述和分析面向单标签和面向多标签的2类网页指纹识别,并讨论其工作原理、性能特点和局限性(例如过于简化的研究假设和缺乏系统的实验评估).最后总结和展望网页指纹识别的未来发展方向. 相似文献
4.
2012年2月9—10日,2012年全国水利规划计划工作会议在辽宁沈阳召开。据悉,2012年我国水利建设将继续发力,中央水利投入也将稳步增加。目前,《"十二五"水利发展规划》和有关建设规划已编制完成。据悉",十二五"期间我国水利建设总投资将达到1.8万亿元,其中中央水利投资约8000亿元。 相似文献
5.
6.
7.
8.
<正>2010年6—7月,各大工程机械骨干企业相继发布上半年利润大幅预增公告。中联重科上半年业绩预增50%~100%;徐工机械上半年业绩调整后数据同比增长约35.6%;厦工股份上半年业绩预增300%以上。中国工程机械工业协会的统计结果显示,2010年的前 相似文献
9.
<正>一项搁置了18年的宏伟构想,在国家经济和技术水平高速发展的今天,终于被提上了议事日程。跨海通道的建设,能否让渤海湾"C"字形的两端"天堑变通途"?日前,渤海海峡跨海通道研究课题组展开了调查研究工作,对项目投资规模、直接收益以及社会经济效益等相关数据进行了估算统计。 相似文献
10.
近日,中国长江三峡集团首次发布社会责任报告,表示正在加快建设金沙江溪洛渡、向家坝、乌东德和白鹤滩等4座巨型水电站。 相似文献