摘要:数据流分析是二进制程序分析的重要手段，但传统数据依赖图（DDG）构建的时间与空间复杂度较高，限制了可分析代码的规模.提出了函数级数据依赖图（FDDG）的概念，并设计了函数级数据依赖图的构建方法.在考虑函数参数及参数间相互依赖关系的基础上，将函数作为整体分析，忽略函数内部的具体实现，显著缩小了数据依赖图规模，降低了数据依赖图生成的时空复杂度.实验结果表明，与开源工具angr中的DDG生成方法相比，FDDG的生成时间性能普遍提升了3个数量级.同时，将FDDG应用于嵌入式二进制固件脆弱性分析，实现了嵌入式固件脆弱性分析原型系统FFVA，在对D-Link、NETGEAR、EasyN、uniview等品牌的设备固件分析中，发现了24个漏洞，其中14个属于未知漏洞，进一步验证了FDDG在静态脆弱性分析中的有效性.
Abstract:Data flow analysis plays an important role in binary code analysis. Due to consuming too much time and space, constructing the traditional data dependence graph (DDG) limits the size of the analyzed code thoroughly. This study introduces a novel graph model, function-level data dependence graph (FDDG), and proposes a corresponding construction method. The key insights behind FDDG lie in the following two points. First, FDDG focuses on the relationships between function parameters; Second, FDDG treats a function as a whole and ignores the details inside the function. As a result, the size of the data dependence graph is reduced significantly. Also, the time and space are saved greatly. The experimental results show the time performance of the method is improved by about three orders of magnitude compared to the method in angr. As an instance, FDDG is employed to analyze the vulnerability of embedded firmwares, and a firmware vulnerability analysis prototype system called FFVA is implemented. The implemented FFVA system is used to analyze firmwares from real embedded devices, and find a total of 24 vulnerabilities in the devices from D-Link, NETGEAR, EasyN, uniview, and so on, among which 14 are unknown vulnerabilities, thus validating the effectiveness of function-level data dependence graph in static vulnerability analysis.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5833
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
函数级数据依赖图及其在静态脆弱性分析中的应用
本站小编 Free考研考试/2022-01-02
相关话题/数据 空间 系统 代码 设计
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19场景驱动且自底向上的单体系统微服务拆分方法
摘要:作为云原生应用的一种典型形态，微服务架构已经在各种企业应用系统中被广泛使用.在企业实践中，许多微服务都是在单体架构的遗留系统基础上通过微服务拆分和改造形成的，其中的拆分决策（特别是数据库拆分）对于微服务系统的质量有着很大的影响.目前，单体系统的微服务拆分决策主要依赖于人的主观经验，整个过程成本 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02类属型数据核子空间聚类算法
摘要:现有的类属型数据子空间聚类方法大多基于特征间相互独立假设，未考虑属性间存在的线性或非线性相关性.提出一种类属型数据核子空间聚类方法.首先引入原作用于连续型数据的核函数将类属型数据投影到核空间，定义了核空间中特征加权的类属型数据相似性度量.其次，基于该度量推导了类属型数据核子空间聚类目标函数，并 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于采样的在线大图数据收集和更新
摘要:互联网中，以网页、社交媒体和知识库等为载体呈现的大量非结构化数据可表示为在线大图.在线大图数据的获取包括数据收集和更新，是大数据分析与知识工程的重要基础，但面临着数据量大、分布广、异构和变化快速等挑战.基于采样技术，提出并行、自适应的在线大图数据收集和更新方法.首先，将分支限界方法与半蒙特卡罗 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于训练空间重构的多模块TSK模糊系统
摘要:利用重构训练样本空间的手段，提出一种多训练模块Takagi-Sugeno-Kang（TSK）模糊分类器H-TSK-FS.它具有良好的分类性能和较高的可解释性，可以解决现有层次模糊分类器中间层输出和模糊规则难以解释的难题.为了实现良好的分类性能，H-TSK-FS由多个优化零阶TSK模糊分类器组成 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02分级可逆的关系数据水印方案
摘要:关系数据可逆水印技术是保护数据版权的方法之一.它克服了传统的关系数据数字水印技术的缺点，不仅可以声明版权，而且可以恢复原始数据.现有方法在恢复原始数据时不能控制数据恢复的程度，无法调节数据的可用性.提出了一种分级可逆的关系数据水印方案，定义了数据质量等级来反映水印嵌入对数据可用性的影响，设计了 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02系统软件前沿进展专题前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/6072 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向移动终端智能的自治学习系统
摘要:在移动终端设备中部署机器学习模型已成为学术界和产业界的研究热点，其中重要的一环是利用用户数据训练生成模型.然而，由于数据隐私日益得到重视，特别是随着欧洲出台GDPR、我国出台《个人信息保护法》等相关法律法规，导致开发者不能任意从用户设备中获取训练数据（特别是隐私数据），从而无法保证模型训练的质 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向操作系统可靠性保障的开源软件供应链
摘要:软件可靠性是软件工程领域中的研究热点之一，故障率分析是软件可靠性的典型研究方法.然而，软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式，操作系统作为代表性产物之一，所含开源软件之间通过组合关系和依赖关系，形成了一个包含上万节点的供应关系网络.典型方法缺乏对供应关系的考量，无法准确 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02FPGA加速系统开发工具设计:综述与实践
摘要:近年来，现场可编程逻辑门阵列（FPGA）在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发，利用软硬件各自开发工具分别开发再集成的传统开发方式具有学习门槛高，集成、测试、部署耗时长等缺陷，开发人员难以利用FPG ...中科院软件研究所 本站小编 Free考研考试 2022-01-02一种神经网络指令集扩展与代码映射机制
摘要:近年来，卷积神经网络（CNN）在图像识别和分类领域的高精度表现使其在机器学习领域受到了广泛关注.然而CNN的计算与访存密集特性给需要支持各种负载的通用处理器带来了巨大压力.因此，涌现了大量CNN专用硬件加速器.它们虽然提高了效率但却缺乏灵活性.基于新兴的RISC-V架构设计了包含10条矩阵指令 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
