基于静态和动态混合分析的内存拷贝类函数识别

缓冲区溢出等内存错误漏洞的产生往往来自对内存拷贝类函数的不当使用. 对二进制程序中的内存拷贝类函数进行识别有利于发现内存错误漏洞. 目前针对二进制程序中内存拷贝类函数的识别方法主要借助静态分析来提取函数的特征、控制流、数据流等信息进行识别, 具有较高的误报率和漏报率. 为了提高对内存拷贝类函数识别的效果, 提出一种基于静态和动态混合分析的技术CPSeeker. 所提方法结合静态分析和动态分析各自的优势, 分阶段对函数的全局静态信息和局部执行信息进行搜集, 对提取到的信息进行融合分析, 进而识别二进制程序中的内存拷贝类函数. 实验结果表明, 尽管CPSeeker在运行时间上有所增加, 但在内存拷贝类函数识别的效果上, 其F1值达到了0.96, 远优于最新的工作BootStomp、SaTC、CPYFinder以及Gemini, 并且不受编译环境(编译器版本、编译器种类、编译器优化等级)的影响. 此外, CPSeeker在真实的固件测试中也有更好的表现.     

老愚公水电厂水能优化调度动态分析

小型水电厂水能优化调度涉及水量，机组组合和机组的负荷分配等相关问题，通过对梯级水电站机组多阶段水量分配，可行域的分析计算,推求梯级电站整体最优功能解，达到水电厂经济效益最优。     

Frequency-dependent dynamic effective properties of porous materials

The frequency-dependent dynamic effective properties (phase velocity, attenuation and elastic modulus) of porous materials are studied numerically. The coherent plane longitudinal and shear wave equations, which are obtained by averaging on the multiple scattering fields, are used to evaluate the frequency-dependent dynamic effective properties of a porous material. It is found that the prediction of the dynamic effective properties includes the size effects of voids which are not included in most prediction of the traditional static effective properties. The prediction of the dynamic effective elastic modulus at a relatively low frequency range is compared with that of the traditional static effective elastic modulus, and the dynamic effective elastic modulus is found to be very close to the Hashin-Shtrikman upper bound.     

兴隆台潜山油藏不同开发阶段动态分析技术应用研究

兴隆台潜山作为辽河油田近些年发现的规模最大整装油藏已全面进入开发阶段.由于储层巨厚、含油幅度超过2000m,潜山内幕复杂、岩性多样、储层具有双重介质特征、非均质性极强等特点,油藏高效开发存在众多难点.为有效解决深层巨厚潜山储量动用难度大、稳产难度大的问题,通过在各开发阶段有针对性的深入开展油水井动态分析工作,不断深化油...     

一种基于静、动态分析相结合的漏洞挖掘分析方法

基于源码与二进制文件的的静态漏洞挖掘分析可以检测出很多漏洞,但同时存在很多漏报以及误报。动态分析技术分析动态调试器中程序的内存、状态以及调试器的寄存器等信息,进而发现潜在的安全漏洞,具有较高的准确率和较强的针对性。但动态漏洞分析技术在输入数据格式较为复杂时,很容易构造出触发程序异常的数据。针对二者的不足,本文提出了一种基于静、动态结合的漏洞挖掘分析方法,为漏洞挖掘分析增添了新的思路。     

基于有限元法的多列烘缸干燥部实验装置机械性能分析

基于有限元分析理论,利用ANSYS软件,对多列烘缸干燥部实验装置的机械性能进行分析。通过静力学分析,得出该实验装置在静态载荷作用下变形情况,校核其静态刚强度条件;通过模态分析,得到了实验装置的前6阶模态频率及模态振型。本文可为多列烘缸干燥部的设计、实施和运行操作提供计算机仿真数值参考及理论依据。     

嵌入式设备固件仿真器综述

随着物联网(IoT)技术的发展,嵌入式设备面临更加严峻的安全威胁,特别是嵌入式设备漏洞严重影响物联网产业的安全发展.但受限于嵌入式设备自身硬件资源的限制,通用计算机系统常用的动态漏洞检测技术,例如模糊测试难以直接应用到嵌入式设备上.因此,近年来嵌入式设备固件仿真技术成为学术界的研究热点,通过对嵌入式设备硬件依赖的仿真或替换,可以将模糊测试、符号执行等通用高效漏洞检测技术应用于嵌入式设备.围绕最新嵌入式设备仿真技术,搜集整理近年来国际顶级学术论文,对相关研究成果进行归纳、总结.基于采用的仿真技术和衍生关系进行分类介绍,然后对这些固件仿真器进行评估和细化比较,为使用者选择固件仿真器提供技术参考.最后,根据当前嵌入式设备固件仿真器的现状,提出固件仿真器的挑战和机遇,对固件仿真器的研究进行了展望.     

软件解密技术简介

没有更锋利的矛,盾永远不会变得更加坚固。软件的加密解密技术也一样,只有了解解密,才能更好地加密。一个不熟悉敌手的战士不会有太多的胜利机会,不熟悉解密技术的软件开发者,也很难开发出不易被攻破的保护技术。     

软件分析技术进展

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.     

用三维MEMS力学量传感器对涌浪微观形态测量的研究

涌浪的形态对舰船驾驶航行、渔业生产、海洋作业和堤坝设施等具有很大的影响.对海浪的形态研究在军事、水上交通、海洋工业、渔业和民生方面都具有特殊的意义.MEMS力学量传感器是一种环境适应能力极强的微机电器件,用三维MEMS力学量传感器可以测量动态质点的速度、加速度、摆角和倾角等参数.通过三维MEMS力学量传感器的三维参数测量和分解可以得到涌浪质点的实时运动速度和运动轨迹数据,从而为涌浪的微观形态研究提供了依据.MEMS力学量传感器具有体积小、重量轻和输出灵敏度高等特点,特别适合于对海浪实时形态的研究.