【摘 要】
：
符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。首先，梳理了符号执行概念和发展历程，从符号执行系统核心设计切入，对符号执行技术的中间语言、路径搜索和约束求解进行分类阐述。接着，调研现有研究工作进展，选取应用最突出的安全漏洞方面，从漏洞利用与漏洞检测上系统地分析符号执行技术应用细节。最后，依据符号执行技术特点选取一些研究成果整
【基金项目】
：
“十四五”共用技术项目资助（0722-217FJ129YPF）；
论文部分内容阅读
符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。首先，梳理了符号执行概念和发展历程，从符号执行系统核心设计切入，对符号执行技术的中间语言、路径搜索和约束求解进行分类阐述。接着，调研现有研究工作进展，选取应用最突出的安全漏洞方面，从漏洞利用与漏洞检测上系统地分析符号执行技术应用细节。最后，依据符号执行技术特点选取一些研究成果整理分析，探讨符号执行技术面临的局限与解决方案，并展望了未来趋势。
其他文献
党的十九大作出乡村振兴重大战略部署,其中,乡村人才振兴战略为我国农村电商发展、人才培育带来新的契机,具有深刻意义。现有研究对于电商知识培训对农民电商收入的影响缺乏针对性的实证分析,因此本文的创新点体现在不仅分析了电商知识培训对农民电商收入的影响机制,还对其进行了实证分析,并运用倾向得分匹配模型解决了自选择偏差与内生性问题。通过研究电商知识培训对农民电商收入的影响,来探索提升农民电商收入的有效途径。
信息通信技术推动着人类社会的进步和快速发展,尤其是无线通信网络技术加速了现代社会信息化进程。但移动通信网络能源消耗所占的比重也随之剧增,对全球气候产生巨大的影响。射频功率放大器（Power Amplifier,PA）作为5G产业链中的上游产业,一直是研究者的热点课题。为了适应整个射频环境的变化,PA正朝着更宽的带宽、更高的效率、更好的增益等方面发展,设计高效率的PA是保障无线通信质量及绿色通信节能
海岸带处于海陆交界的特殊地带，受自然和人为因素的影响，极易发生各类灾害。如何做好防灾减灾尤其是安全疏散工作，是海岸带区域“陆海统筹”的一项重要工作内容。首先，通过分析海岸带区域的灾害特征提取出台风、洪涝、地震和火灾四类典型灾害；其次，以点（疏散人群）、线（疏散通道）、面（疏散场所）要素梳理安全疏散系统空间构成；以四类典型灾害为例，基于自然灾害风险指数法构建综合防灾视角下的安全疏散系统风险评估模型，
本文选取了英汉两种语言中的几个动物词汇，分析它们在两种文化中的不同寓意，让学生了解概念隐喻在语言学习中的应用。概念隐喻可以让学生在大学英语的学习过程中，尽快掌握词汇的拓展和积累，顺利地从高中英语的学习过渡到大学英语的学习中来。在大学英语词汇教学中，教师需要注意英语词汇中的隐喻用法，使学生更多地关注这些词汇之间的隐喻性研究，使得我国高校学生在掌握英语词汇的基础上，也了解到英语文化和中国传统文化之间的
水利工程投资概算及国民经济评价分析成果，可为工程建设及后期运行管理提供真实有效的数据支持和理论指导。以策勒河昆仑水库工程为例，对其进行工程建设投资概算和对国民经济评价分析，项目经济内部收益率为6.03%，经济净现值为296×104元，效益费用比为1，国民经济的主要财政指标都大于等于基本要求。结果表明其在经济上是合理的，但通过敏感性分析，该项目抗风险能力较弱。
孤石地层的存在是困扰桩基础施工的主要难题，其不仅关系到桩基稳定，更关系到工程的投资。为合理解决此类问题，以深圳某高层建筑桩基础施工过程中遇分布范围广且尺寸大的孤石群为研究背景，根据地勘资料、设计标准和现场施工条件，提出了孤石群地层中桩基础施工设计优化方案，并对其进行了经济性分析。所得到的主要结论如下：原设计桩基极有可能穿过巨大孤石，成本高浪费明显，极有必要对桩基和抗浮锚杆设计方案进行优化；考虑桩基
为进一步做好定向培养士官的思想政治教育工作，以“三全育人”理念为指导，采用活动课程化的方式，根据不同时期、不同阶段定向培养士官的心理发展特点和需求，特意制定从师辈到朋辈的层级化团体心理辅导方案，为囊括环境适应、人际交往、职业价值观等方面的团体心理辅导活动提供了理论支撑和实践参考，完善了定向培养士官心理育人体系，也进一步拓展了全员育人的广度和深度。