【摘 要】
：
重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角度解决这一难题.本文将该应用场景抽象为存在重入性循环路径的路径覆盖测试用例自动生成问题,通过生成并执行覆盖重入性循环路径的测试用例来检测重入性漏洞.以鸽群算法为代表的群体智能算法是
【基金项目】
：
国家自然科学基金项目（批准号:61772225,61876207）； 广州科技项目（编号:201802010007）； 广东省重点领域研发计划（编号:2018B010109003）资助；
论文部分内容阅读
重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角度解决这一难题.本文将该应用场景抽象为存在重入性循环路径的路径覆盖测试用例自动生成问题,通过生成并执行覆盖重入性循环路径的测试用例来检测重入性漏洞.以鸽群算法为代表的群体智能算法是求解测试用例生成这类黑盒优化问题的常用方法.鸽群算法在整个决策空间内围绕种群最优解邻域搜索,然而,问题的最优解可能并不在该邻域内,导致路径覆盖率较低.为了提升鸽群算法的路径覆盖率,本文将利用流形启发式算子改进鸽群算法,使其分配更多的算力搜索与优化目标相关的子空间,从而提升鸽群算法求解效率,覆盖重入性循环路径.实验结果显示,改进后的流形鸽群算法能够更加高效地生成覆盖重入性循环路径的测试用例,检测出被测合约的重入性漏洞.与Oyente, Securify和Smartcheck这三个智能合约测试工具相比,本文提出的方法能够有效避免重入性漏洞的误报,在实验的8个被测试智能合约中重入性漏洞识别准确率分别提升12.5%, 12.5%和25%.
其他文献
本文介绍微项目实验教学，并以此为基础谈如何培养学生的科学探究精神与创新意识。“水果蔬菜中维生素C含量的测定”这一趣味性、生活化的实验，倡导合理膳食理念，唤起了学生强烈的探究欲，能够引导学生形成科学精神与社会责任。
目的 描述中国南沙群岛美济礁的蠓种。方法 2020年8月采用诱虫灯法采集蠓样本，保存于70%乙醇溶液中带回实验室，制片后依据形态特征进行鉴定。结果 共鉴定蠓科铗蠓属2种和毛蠓属3种，即：栩杨铗蠓[Forcipomyia（Forcipomyia）xuyangi Yu,sp. nov.]、依沙铗蠓[F.（F.）esakiana Tokunaga,1940]、小斧毛蠓[Dasyhelea ascia Y
随着经济的高速发展，我国对环境保护也越来越重视，不仅要促进经济的发展，还需要解决好在经济发展中的环境污染问题。因此需要加强对环境空气质量的监测，并且尽可能准确迅速地对环境情况进行诊断，由于人工和时间的花费成本较大，需要利用大数据技术对环境进行自主的监测和智能的诊断。基于此，主要探究了基于环境保护大数据的监测与智能诊断。
历在复杂多元的时代语境中，《岛上书店》处处洋溢着对“人”的存在之思。与萨特的存在主义理论相互映衬，最后作者通过刻画主人公爱的付出与责任的担当来走出了人生的困境。使萨特的存在主义理论的人道主义精神得到了一个更完满的归属。本文试图从萨特的存在主义的观点——自在的存在、自为的存在、绝对的自由、绝对的责任来分析主人公A.J.费克里跌宕起伏的一生，来揭示人之为人的本质和意义。
为降低肟菌酯生产成本，对其合成工艺进行优化。以溴化物和间三氟甲基苯乙酮肟为原料，缩合反应合成肟菌酯，研究物料配比、反应温度、溶剂种类等对反应收率与含量的影响。采用“一锅投”方式，以三辛基甲基氯化铵为催化剂，甲基异丁基酮为溶剂，碳酸钠为缚酸剂，优化条件下，肟菌酯收率83.5%，含量98.3%。该合成方法收率高，工艺简单，适合工业化开发。
当前，物联网应用程序从环境中感知到大量数据，这些数据需要以最小的延迟进行处理。用户终端作为无处不在的网络终端设备，由于资源有限，无法在本地处理所有的计算。多接入边缘计算是处理网络边缘计算的良好架构，解决了诸如延迟、能源和成本等挑战。如果UE无法处理计算，MEC将把任务卸载到边缘或云上。研究表明，忽略应用程序、请求、传感器、资源和网络工具的上下文信息会导致卸载方法无法完成。因此，文章将对多用户的ME
在灾难应急响应时，为了提高救援效率，使用无人机作为灾区的临时通信基站提供中继服务，由无人机以及边缘设备组成雾节点网络共同提供服务。但是由于雾节点设备的计算存储资源和传输带宽有限，无法部署大型应用程序。为了避免单一雾节点负载过高，将原应用拆分为若干微服务并且分散部署到雾节点上。然而服务数量的激增导致了服务请求时间过长。针对该问题，提出了基于节点分层和延迟敏感的服务放置算法。将雾节点划分为三层，约束微
农民专业合作社的经营绩效直接关系到农民的收入，对实现农村现代化和实现乡村振兴有着重要的影响，营销绩效是合作社经营绩效的重要体现。本研究从资源视角出发，建立了“资源—学习—绩效”的概念结构模型，提出研究假设，通过调研获取数据，使用SPSS和AMOS软件对调查结果进行分析。结果表明：结构型社会资本、关系型社会资本、组织学习对营销绩效有显著正向影响，认知型社会资本对营销绩效没有显著影响；作为中介变量，组
HN公司是成立于上世纪90年代初的某省本土航空公司,至今连续安全运行28年,经过多年发展,根据行业特点培育出高度执行力的企业文化。2018年4月党中央宣布决定支持某省逐步探索、稳步推进中国特色自由贸易港建设。HN公司目前受新冠疫情影响,企业运营压力大,需要牢牢抓住难得的发展机遇,加强管理,为企业取得新的突破做好充分准备。企业督查业务关系到HN公司企业决策的执行落实,是企业管理的重要环节,制约企业管